import random

import numpy as np

slide_track = {80: [[-44, -51, 0], [0, 0, 0], [2, 1, 6], [5, 3, 11], [9, 4, 25], [12, 6, 35], [15, 6, 39], [19, 7, 50],
                    [25, 8, 57], [29, 8, 64], [35, 8, 72], [39, 10, 79], [43, 10, 88], [48, 10, 95], [52, 10, 103],
                    [56, 10, 110], [61, 10, 118], [64, 10, 126], [66, 10, 134], [69, 10, 142], [70, 10, 150],
                    [71, 10, 167], [72, 10, 223], [73, 10, 248], [74, 10, 568], [75, 10, 576], [76, 10, 592],
                    [77, 11, 609], [78, 11, 719], [79, 12, 727], [80, 12, 799], [80, 12, 1198]],
               123: [[-47, -44, 0], [0, 0, 0], [1, 0, 57], [3, 0, 65], [6, 0, 73], [10, 0, 81], [14, 0, 89],
                     [18, -1, 97], [22, -1, 105], [27, -2, 113], [30, -2, 121], [34, -3, 130], [39, -3, 137],
                     [43, -3, 145], [46, -5, 153], [51, -5, 161], [54, -5, 170], [57, -5, 177], [59, -6, 186],
                     [62, -6, 193], [63, -6, 203], [65, -7, 209], [67, -7, 219], [69, -7, 225], [70, -7, 233],
                     [71, -7, 242], [73, -8, 249], [75, -8, 273], [76, -8, 298], [78, -8, 321], [79, -8, 345],
                     [81, -8, 361], [82, -8, 369], [84, -8, 377], [85, -8, 387], [87, -8, 393], [89, -8, 403],
                     [91, -8, 417], [92, -8, 425], [94, -8, 441], [95, -8, 449], [97, -8, 465], [98, -8, 473],
                     [99, -8, 481], [100, -8, 489], [102, -8, 497], [105, -8, 505], [107, -8, 512], [108, -8, 521],
                     [111, -7, 529], [113, -7, 537], [115, -7, 546], [117, -7, 561], [117, -6, 577], [118, -6, 585],
                     [119, -6, 609], [120, -6, 619], [121, -6, 625], [122, -6, 650], [123, -6, 734], [123, -6, 1120]],
               138: [[-19, -22, 0], [0, 0, 0], [1, 0, 6], [2, 0, 15], [3, 0, 22], [4, 0, 31], [7, 0, 39], [9, 0, 47],
                     [11, 0, 55], [15, 0, 63], [18, 0, 74], [20, 0, 79], [24, 1, 87], [28, 1, 95], [34, 2, 103],
                     [38, 3, 111], [45, 3, 118], [50, 5, 126], [54, 5, 136], [59, 6, 143], [64, 7, 151], [68, 8, 158],
                     [71, 8, 167], [75, 8, 175], [80, 9, 182], [83, 10, 191], [87, 10, 199], [90, 11, 206],
                     [92, 11, 215], [95, 11, 223], [98, 12, 231], [101, 12, 238], [103, 12, 246], [106, 12, 255],
                     [107, 12, 263], [109, 13, 270], [110, 13, 279], [111, 13, 287], [113, 13, 295], [115, 13, 310],
                     [116, 13, 318], [119, 14, 328], [120, 14, 343], [122, 14, 350], [123, 14, 367], [124, 14, 375],
                     [125, 14, 382], [126, 14, 422], [127, 14, 439], [128, 14, 503], [129, 15, 518], [130, 15, 542],
                     [131, 15, 558], [132, 16, 566], [133, 17, 621], [134, 17, 934], [135, 17, 942], [136, 17, 950],
                     [137, 17, 966], [138, 17, 974], [138, 18, 998], [138, 18, 1367]],
               114: [[-26, -38, 0], [0, 0, 0], [0, -1, 6], [1, -1, 30], [4, -1, 38], [5, -1, 46], [8, -1, 54],
                     [12, -1, 62], [15, 0, 70], [21, 1, 78], [25, 1, 86], [31, 3, 94], [35, 3, 102], [43, 3, 110],
                     [48, 3, 118], [55, 5, 126], [62, 6, 134], [67, 7, 142], [70, 7, 150], [75, 8, 158], [79, 9, 167],
                     [82, 9, 174], [85, 10, 182], [88, 10, 190], [90, 10, 198], [92, 11, 207], [93, 11, 214],
                     [94, 11, 222], [96, 12, 238], [97, 12, 255], [99, 13, 278], [100, 13, 294], [101, 13, 302],
                     [102, 13, 310], [103, 13, 318], [103, 14, 326], [105, 14, 334], [106, 14, 342], [107, 14, 366],
                     [108, 14, 374], [109, 14, 496], [110, 14, 512], [112, 15, 528], [112, 16, 536], [114, 16, 560],
                     [114, 16, 902]],
               84: [[-43, -30, 0], [0, 0, 0], [0, 0, 2], [0, 0, 173], [1, 0, 181], [4, 0, 188], [6, 0, 196],
                    [10, 0, 204], [15, 0, 212], [20, 0, 220], [26, 0, 229], [30, 0, 236], [35, 0, 244], [39, 0, 252],
                    [43, 0, 262], [48, 0, 268], [51, 0, 277], [53, 0, 284], [56, 0, 293], [59, 0, 300], [61, 0, 309],
                    [63, 0, 316], [64, 0, 325], [66, 0, 332], [66, 0, 340], [67, 0, 347], [68, 0, 356], [69, 0, 364],
                    [69, 0, 372], [69, 0, 381], [70, 0, 387], [70, 0, 398], [70, 0, 402], [70, 0, 428], [71, 0, 434],
                    [71, 0, 444], [72, 0, 450], [72, 0, 460], [74, 0, 466], [75, 0, 475], [76, 0, 481], [77, 0, 491],
                    [79, 0, 498], [80, 0, 506], [81, 0, 514], [82, 0, 521], [82, 0, 531], [83, 0, 537], [83, 0, 548],
                    [83, 0, 552], [84, 0, 563], [84, 0, 578], [84, 0, 1589], [84, 0, 1598], [84, 0, 1610]],
               74: [[-36, -33, 0], [0, 0, 0], [2, -2, 81], [5, -2, 92], [7, -2, 99], [10, -2, 105], [12, -2, 116],
                    [14, -2, 122], [17, -2, 126], [19, -2, 134], [21, -2, 143], [24, -2, 150], [25, -2, 157],
                    [28, -2, 165], [29, -2, 173], [31, -2, 182], [32, -1, 189], [33, -1, 205], [34, -1, 213],
                    [35, -1, 222], [37, -1, 237], [38, -1, 245], [39, -1, 253], [41, -1, 261], [42, -1, 269],
                    [44, -1, 285], [46, -1, 293], [47, -1, 303], [48, -1, 309], [49, -1, 317], [51, -1, 325],
                    [52, -1, 334], [54, -1, 341], [56, 1, 349], [57, 1, 357], [58, 1, 373], [60, 1, 382], [61, 1, 398],
                    [62, 1, 405], [63, 1, 421], [64, 1, 437], [65, 1, 445], [65, 1, 453], [66, 1, 477], [67, 1, 487],
                    [68, 1, 493], [69, 1, 558], [71, 1, 888], [72, 1, 912], [73, 1, 920], [74, 2, 936], [74, 2, 1308]],
               102: [[-53, -33, 0], [0, 0, 0], [1, 0, 47], [2, 0, 54], [5, 0, 63], [6, 0, 66], [8, 0, 72], [10, 0, 83],
                     [13, 0, 87], [17, 0, 94], [22, 0, 101], [26, 1, 110], [30, 2, 118], [37, 3, 125], [43, 4, 133],
                     [47, 4, 141], [52, 4, 150], [55, 4, 157], [59, 5, 165], [61, 5, 173], [64, 5, 181], [66, 5, 189],
                     [68, 5, 197], [69, 5, 205], [70, 6, 213], [71, 6, 221], [72, 6, 238], [73, 6, 247], [74, 7, 254],
                     [75, 8, 262], [76, 8, 294], [77, 8, 317], [78, 8, 333], [79, 8, 349], [80, 8, 374], [81, 8, 389],
                     [82, 8, 397], [84, 8, 414], [85, 8, 422], [85, 9, 429], [86, 9, 445], [87, 9, 453], [88, 10, 461],
                     [89, 10, 477], [90, 11, 485], [91, 11, 501], [92, 12, 526], [93, 12, 541], [94, 12, 558],
                     [95, 12, 574], [96, 12, 606], [97, 12, 622], [97, 13, 637], [98, 13, 646], [99, 13, 790],
                     [100, 13, 805], [101, 14, 968], [102, 14, 992], [102, 14, 1349]],
               66: [[-22, -34, 0], [0, 0, 0], [0, 0, 1], [0, 0, 133], [2, 0, 141], [4, 0, 149], [6, 0, 157],
                    [8, 0, 165], [12, 0, 175], [14, 0, 180], [17, 0, 191], [20, 0, 197], [21, 0, 207], [25, 0, 213],
                    [28, 0, 222], [30, 0, 228], [33, 0, 236], [35, 0, 244], [36, 0, 253], [39, 0, 260], [41, 0, 269],
                    [43, 0, 276], [46, 0, 285], [48, 0, 292], [50, 0, 300], [52, 0, 309], [54, 0, 316], [56, 0, 325],
                    [58, 0, 332], [60, 0, 341], [62, 0, 348], [63, 0, 358], [65, 0, 363], [66, 0, 372], [67, 0, 378],
                    [68, 0, 386], [69, 0, 394], [69, 0, 403], [69, 0, 410], [70, 0, 420], [70, 0, 426], [70, 0, 436],
                    [70, 0, 688], [70, 0, 695], [69, 0, 711], [69, 0, 726], [69, 0, 736], [69, 0, 743], [68, 0, 750],
                    [68, 0, 759], [68, 0, 766], [68, 0, 775], [67, 0, 792], [67, 0, 798], [67, 0, 813], [67, 0, 829],
                    [66, 0, 854], [66, 0, 893], [66, 0, 909], [66, 0, 943], [66, 0, 1234], [66, 0, 1279],
                    [66, 0, 1300]],
               49: [[-35, -29, 0], [0, 0, 0], [1, 0, 36], [2, 0, 52], [3, 0, 68], [4, 0, 82], [6, 0, 90], [6, 1, 97],
                    [8, 1, 105], [9, 1, 114], [10, 1, 121], [11, 1, 129], [14, 3, 136], [17, 4, 153], [19, 4, 168],
                    [20, 4, 177], [21, 4, 186], [22, 5, 192], [24, 5, 202], [25, 6, 208], [26, 6, 218], [27, 7, 233],
                    [29, 7, 248], [29, 8, 256], [30, 8, 264], [32, 8, 288], [33, 8, 313], [35, 9, 331], [36, 9, 360],
                    [37, 10, 376], [38, 10, 392], [39, 10, 408], [40, 11, 416], [41, 11, 433], [42, 11, 448],
                    [43, 12, 465], [44, 12, 472], [45, 13, 488], [46, 14, 520], [47, 14, 1010], [48, 14, 1017],
                    [48, 15, 1033], [49, 16, 1057], [49, 16, 1351]],
               140: [[-38, -33, 0], [0, 0, 0], [0, -1, 32], [1, -1, 71], [2, -1, 80], [4, -1, 89], [8, -1, 95],
                     [12, -1, 105], [15, -1, 111], [21, -1, 119], [28, 0, 125], [37, 2, 132], [45, 3, 141],
                     [54, 5, 148], [61, 5, 157], [69, 5, 165], [78, 8, 173], [83, 8, 181], [89, 8, 188], [93, 8, 198],
                     [96, 9, 204], [98, 10, 214], [100, 10, 221], [101, 10, 230], [104, 11, 237], [105, 11, 254],
                     [106, 11, 262], [107, 11, 270], [108, 11, 278], [110, 12, 285], [112, 12, 301], [113, 12, 309],
                     [114, 13, 317], [116, 13, 333], [117, 13, 341], [119, 13, 349], [121, 13, 365], [122, 13, 372],
                     [123, 13, 381], [124, 13, 389], [125, 13, 397], [126, 13, 405], [127, 13, 421], [128, 13, 430],
                     [129, 13, 445], [130, 13, 468], [131, 13, 495], [132, 13, 527], [134, 13, 537], [136, 14, 570],
                     [138, 14, 599], [139, 14, 637], [140, 14, 693], [140, 14, 1068]],
               158: [[-19, -28, 0], [0, 0, 0], [1, 0, 9], [2, 0, 16], [3, 0, 25], [7, 0, 32], [12, 0, 40], [16, 2, 48],
                     [21, 3, 56], [27, 3, 64], [33, 4, 72], [39, 6, 80], [44, 6, 88], [51, 6, 96], [58, 7, 104],
                     [63, 8, 113], [70, 8, 122], [76, 10, 128], [84, 11, 137], [92, 11, 145], [100, 11, 153],
                     [106, 12, 161], [114, 13, 167], [122, 15, 174], [127, 15, 183], [133, 15, 191], [137, 15, 199],
                     [143, 15, 207], [146, 15, 214], [149, 15, 223], [151, 15, 230], [154, 16, 239], [155, 16, 246],
                     [158, 17, 255], [159, 17, 262], [161, 17, 270], [163, 18, 278], [164, 18, 287], [165, 18, 294],
                     [167, 18, 303], [168, 18, 311], [170, 18, 319], [172, 19, 326], [174, 19, 343], [175, 19, 352],
                     [176, 20, 359], [177, 20, 368], [176, 20, 623], [175, 20, 632], [174, 20, 638], [173, 20, 654],
                     [172, 20, 662], [171, 20, 687], [170, 19, 694], [169, 19, 702], [168, 19, 734], [167, 19, 751],
                     [166, 19, 759], [165, 19, 783], [164, 19, 790], [163, 19, 816], [163, 18, 879], [162, 18, 950],
                     [161, 18, 959], [160, 18, 975], [159, 18, 1153], [158, 18, 1186], [158, 18, 1478]],
               94: [[-43, -7, 0], [0, 0, 0], [-1, -1, 7], [-1, -2, 22], [0, -3, 38], [1, -3, 51], [2, -3, 53],
                    [4, -3, 68], [5, -3, 77], [7, -3, 84], [8, -3, 91], [11, -3, 99], [13, -3, 107], [16, -3, 115],
                    [18, -2, 122], [22, -2, 131], [25, 0, 138], [31, 0, 147], [34, 0, 155], [37, 0, 163], [41, 1, 171],
                    [45, 1, 179], [48, 2, 188], [53, 4, 195], [56, 4, 203], [59, 4, 211], [60, 5, 219], [62, 5, 227],
                    [63, 5, 235], [65, 5, 243], [66, 5, 251], [67, 5, 259], [69, 5, 267], [70, 5, 275], [71, 5, 283],
                    [72, 5, 291], [74, 5, 307], [75, 5, 315], [77, 6, 331], [78, 6, 355], [79, 6, 371], [80, 6, 395],
                    [81, 6, 499], [81, 7, 563], [83, 7, 571], [84, 7, 579], [85, 7, 587], [87, 7, 595], [88, 7, 603],
                    [89, 7, 619], [90, 8, 627], [91, 8, 995], [92, 8, 1003], [93, 8, 1019], [94, 9, 1036],
                    [94, 9, 1371]],
               87: [[-35, -20, 0], [0, 0, 0], [0, -1, 46], [1, -1, 55], [3, -1, 62], [6, -1, 73], [10, -1, 77],
                    [14, -1, 86], [19, -1, 94], [23, -1, 102], [29, -1, 110], [38, -1, 117], [45, -1, 126],
                    [55, 1, 134], [64, 1, 142], [70, 2, 150], [78, 3, 158], [83, 3, 166], [89, 4, 174], [93, 4, 182],
                    [99, 6, 190], [101, 6, 198], [103, 7, 206], [105, 7, 215], [106, 8, 222], [107, 8, 246],
                    [106, 8, 495], [104, 8, 501], [102, 8, 510], [101, 8, 518], [99, 8, 526], [97, 8, 534],
                    [95, 8, 542], [94, 8, 566], [92, 8, 789], [91, 8, 797], [89, 8, 813], [88, 8, 828], [87, 8, 852],
                    [87, 8, 1204]],
               88: [[-37, -36, 0], [0, 0, 0], [2, 0, 7], [3, 0, 22], [5, 1, 31], [6, 1, 41], [8, 2, 48], [9, 2, 52],
                    [11, 2, 60], [12, 2, 68], [14, 2, 76], [15, 2, 84], [18, 3, 92], [19, 3, 100], [21, 3, 109],
                    [23, 4, 116], [26, 4, 125], [30, 5, 132], [33, 5, 141], [36, 5, 148], [41, 5, 156], [45, 7, 164],
                    [47, 7, 172], [51, 7, 180], [55, 7, 189], [62, 7, 196], [65, 7, 205], [69, 7, 212], [73, 7, 220],
                    [76, 7, 228], [78, 7, 236], [81, 7, 244], [82, 7, 252], [84, 7, 260], [85, 7, 269], [87, 7, 276],
                    [88, 7, 285], [89, 7, 292], [91, 7, 301], [92, 7, 309], [93, 7, 316], [94, 7, 327], [95, 7, 342],
                    [95, 8, 348], [97, 8, 357], [98, 8, 380], [98, 7, 662], [97, 7, 671], [95, 7, 679], [94, 7, 687],
                    [94, 6, 695], [93, 6, 711], [90, 6, 1275], [90, 5, 1282], [89, 4, 1290], [88, 4, 1307],
                    [88, 4, 1771]],
               60: [[-26, -20, 0], [0, 0, 0], [0, 0, 124], [11, 0, 164], [25, 0, 196], [28, 0, 204], [41, 0, 248],
                    [45, 0, 260], [51, 0, 294], [52, 0, 321], [55, 0, 354], [56, -1, 388], [56, -1, 421], [57, -1, 453],
                    [58, -1, 502], [59, -1, 536], [60, -1, 569], [60, -1, 603], [61, -1, 636], [60, -1, 931],
                    [60, -1, 1116]],
               131: [[-41, -32, 0], [0, 0, 0], [2, 0, 36], [3, 0, 45], [4, 0, 49], [5, 0, 54], [7, 0, 61], [10, 0, 67],
                     [12, 0, 75], [15, 0, 81], [17, 1, 89], [18, 1, 97], [21, 1, 105], [23, 1, 113], [25, 1, 121],
                     [27, 1, 129], [29, 1, 137], [30, 3, 146], [33, 3, 153], [35, 3, 161], [39, 4, 169], [40, 4, 178],
                     [43, 4, 185], [45, 4, 194], [49, 4, 202], [53, 4, 209], [56, 4, 217], [59, 4, 226], [62, 4, 234],
                     [65, 4, 242], [68, 4, 250], [71, 4, 259], [73, 4, 265], [77, 4, 274], [79, 4, 282], [80, 4, 290],
                     [83, 4, 298], [85, 4, 306], [86, 4, 314], [89, 4, 321], [90, 4, 329], [92, 4, 346], [93, 4, 354],
                     [94, 4, 362], [95, 4, 378], [96, 4, 386], [97, 4, 402], [99, 4, 410], [100, 5, 418], [101, 5, 434],
                     [102, 5, 441], [103, 5, 458], [104, 5, 466], [105, 5, 474], [106, 5, 498], [107, 5, 506],
                     [108, 5, 522], [109, 5, 538], [110, 5, 545], [112, 6, 554], [114, 6, 585], [115, 6, 594],
                     [115, 7, 601], [116, 7, 618], [117, 7, 627], [118, 7, 633], [120, 7, 649], [121, 7, 657],
                     [122, 8, 674], [123, 8, 681], [124, 8, 689], [125, 8, 714], [126, 8, 730], [127, 8, 738],
                     [128, 8, 1747], [129, 8, 1762], [130, 9, 1786], [131, 9, 1817], [131, 9, 2137]],
               171: [[-47, -40, 0], [0, 0, 0], [0, 1, 66], [2, 2, 75], [6, 3, 82], [8, 3, 90], [12, 4, 100],
                     [17, 4, 107], [22, 5, 117], [29, 5, 123], [35, 6, 133], [40, 8, 141], [50, 8, 149], [59, 8, 161],
                     [69, 8, 165], [78, 8, 169], [89, 8, 177], [99, 8, 184], [111, 8, 192], [120, 8, 201],
                     [130, 8, 209], [138, 8, 214], [143, 8, 223], [147, 8, 231], [151, 8, 241], [154, 8, 247],
                     [155, 9, 352], [156, 9, 375], [157, 9, 392], [158, 9, 407], [159, 9, 415], [160, 9, 431],
                     [161, 10, 440], [162, 10, 457], [163, 10, 488], [163, 11, 500], [165, 11, 516], [166, 11, 529],
                     [168, 11, 554], [169, 11, 578], [169, 12, 602], [171, 12, 618], [171, 13, 626], [171, 13, 1015]],
               110: [[-43, -46, 0], [0, 0, 0], [1, 0, 57], [3, 1, 73], [5, 1, 80], [7, 2, 89], [8, 2, 96], [9, 3, 104],
                     [12, 3, 113], [13, 3, 120], [14, 3, 129], [16, 5, 136], [18, 6, 145], [20, 6, 152], [22, 6, 160],
                     [24, 6, 168], [27, 7, 177], [29, 7, 184], [32, 7, 192], [35, 7, 200], [38, 7, 208], [43, 9, 216],
                     [45, 9, 225], [49, 9, 232], [52, 9, 240], [56, 9, 249], [59, 9, 256], [61, 9, 265], [63, 9, 273],
                     [65, 9, 281], [65, 9, 289], [67, 9, 296], [68, 9, 305], [69, 9, 313], [71, 9, 321], [72, 9, 337],
                     [74, 10, 346], [75, 10, 361], [77, 10, 369], [78, 10, 385], [80, 10, 401], [81, 10, 417],
                     [83, 10, 441], [84, 10, 448], [85, 11, 465], [86, 11, 473], [87, 11, 489], [89, 11, 497],
                     [90, 11, 505], [91, 12, 513], [92, 12, 529], [94, 12, 546], [95, 12, 553], [96, 13, 561],
                     [97, 13, 577], [99, 13, 585], [100, 13, 617], [101, 13, 641], [102, 13, 661], [103, 13, 693],
                     [104, 13, 702], [105, 13, 724], [106, 13, 1054], [107, 13, 1075], [108, 13, 1337], [109, 14, 1375],
                     [110, 14, 1394], [110, 14, 1920]],
               97: [[-26, -44, 0], [0, 0, 0], [2, 0, 8], [3, 0, 16], [5, 0, 24], [8, 0, 33], [10, 0, 40], [12, 0, 50],
                    [13, 0, 57], [15, 0, 66], [17, 0, 72], [20, 0, 80], [23, 0, 89], [25, 0, 97], [28, 0, 104],
                    [32, 0, 113], [36, 0, 121], [40, 0, 129], [44, 0, 136], [48, 0, 145], [52, 0, 152], [56, 0, 161],
                    [59, 0, 169], [62, 0, 176], [64, 0, 184], [65, 1, 193], [66, 1, 200], [68, 1, 209], [70, 1, 216],
                    [72, 1, 233], [73, 1, 241], [76, 1, 248], [79, 1, 265], [80, 1, 280], [81, 1, 288], [82, 1, 297],
                    [82, 2, 305], [83, 2, 320], [84, 2, 329], [85, 2, 344], [86, 2, 360], [88, 2, 368], [89, 2, 384],
                    [91, 2, 392], [92, 2, 416], [93, 2, 440], [94, 2, 465], [95, 2, 481], [97, 3, 488], [97, 3, 848]],
               91: [[-36, -22, 0], [0, 0, 0], [1, 0, 74], [4, 0, 83], [5, 0, 91], [8, 0, 98], [11, 0, 106],
                    [14, 0, 115], [18, 0, 122], [24, 0, 130], [28, 0, 139], [33, 0, 146], [40, 0, 156], [47, 0, 162],
                    [53, 0, 170], [60, 0, 176], [64, 0, 184], [67, 0, 192], [69, 0, 200], [70, 0, 208], [71, 0, 216],
                    [72, 0, 224], [74, 0, 256], [75, 0, 362], [77, 0, 378], [78, 0, 400], [79, 0, 424], [80, 0, 440],
                    [81, 0, 464], [82, 0, 561], [83, 0, 570], [84, 0, 578], [85, 0, 610], [86, 0, 618], [88, -1, 634],
                    [89, -1, 690], [89, -2, 699], [90, -3, 860], [91, -5, 883], [91, -5, 1215]],
               128: [[-47, -37, 0], [0, 0, 0], [2, 0, 67], [5, 0, 77], [10, 1, 94], [13, 1, 104], [20, 1, 113],
                     [24, 1, 117], [28, 1, 125], [33, 1, 134], [39, 1, 140], [43, 1, 148], [48, 1, 156], [53, 1, 164],
                     [56, 1, 170], [58, 1, 178], [59, 1, 186], [61, 1, 195], [62, 1, 202], [63, 1, 211], [65, 1, 218],
                     [65, 1, 227], [68, 1, 234], [70, 1, 243], [73, 1, 250], [75, 2, 259], [76, 2, 266], [79, 3, 274],
                     [80, 3, 282], [82, 3, 290], [83, 3, 299], [85, 3, 306], [86, 3, 315], [88, 3, 322], [89, 3, 331],
                     [91, 3, 356], [93, 3, 360], [95, 3, 365], [96, 3, 371], [98, 3, 378], [100, 3, 386], [102, 3, 394],
                     [106, 3, 402], [111, 3, 410], [115, 3, 418], [120, 3, 426], [127, 3, 434], [132, 3, 442],
                     [135, 3, 450], [139, 4, 458], [141, 5, 466], [143, 5, 475], [144, 5, 490], [145, 6, 498],
                     [144, 6, 802], [143, 6, 811], [141, 6, 818], [139, 6, 834], [138, 6, 843], [137, 6, 874],
                     [136, 6, 903], [135, 6, 928], [134, 6, 956], [133, 6, 964], [132, 6, 987], [131, 6, 1012],
                     [129, 6, 1306], [129, 5, 1318], [128, 3, 1357], [128, 3, 1721]],
               134: [[-25, -25, 0], [0, 0, 0], [1, 0, 168], [4, 0, 173], [6, 0, 182], [13, 0, 188], [16, 0, 197],
                     [27, 0, 204], [30, 0, 212], [38, 0, 220], [44, 0, 228], [50, 0, 237], [56, 0, 246], [61, 0, 253],
                     [65, 0, 260], [70, 0, 270], [75, 0, 277], [79, 0, 284], [84, 0, 292], [88, 0, 301], [93, 0, 307],
                     [97, 0, 317], [100, 0, 323], [104, 0, 330], [106, 0, 338], [109, 0, 348], [112, 0, 355],
                     [114, 0, 365], [116, 0, 371], [119, 0, 378], [121, 0, 386], [122, 0, 394], [123, 0, 403],
                     [125, 0, 411], [126, 0, 419], [127, 0, 426], [128, 0, 434], [128, 0, 442], [129, 0, 451],
                     [129, 0, 457], [130, 0, 465], [130, 0, 473], [130, 0, 483], [130, 0, 489], [131, 0, 498],
                     [131, 0, 505], [131, 0, 512], [131, 0, 520], [132, 0, 528], [132, 0, 536], [132, 0, 544],
                     [132, 0, 554], [133, 0, 560], [133, 0, 569], [133, 0, 576], [133, 0, 585], [134, 0, 591],
                     [134, 0, 1230]],
               86: [[-39, -36, 0], [0, 0, 0], [3, 1, 88], [4, 2, 98], [6, 2, 104], [10, 4, 112], [12, 4, 120],
                    [15, 4, 128], [17, 4, 136], [21, 4, 145], [25, 4, 153], [32, 4, 161], [41, 4, 168], [48, 3, 177],
                    [59, 2, 184], [66, 2, 193], [73, 0, 200], [81, -1, 209], [87, -1, 216], [91, -1, 225],
                    [94, -1, 232], [95, -1, 248], [94, -1, 544], [92, -1, 552], [91, -1, 561], [89, -1, 569],
                    [88, -1, 584], [87, -1, 592], [86, -1, 616], [86, -1, 1015]],
               145: [[-36, -39, 0], [0, 0, 0], [0, 1, 5], [1, 2, 9], [2, 2, 32], [3, 3, 49], [4, 3, 55], [6, 4, 64],
                     [7, 5, 72], [9, 5, 81], [12, 5, 88], [16, 6, 96], [22, 8, 104], [29, 10, 112], [37, 10, 120],
                     [48, 10, 128], [55, 11, 136], [64, 11, 146], [71, 11, 151], [77, 11, 160], [82, 11, 168],
                     [85, 11, 177], [88, 11, 184], [89, 11, 193], [91, 11, 225], [92, 11, 233], [93, 11, 248],
                     [95, 12, 256], [97, 12, 270], [98, 13, 278], [99, 13, 285], [101, 14, 294], [102, 14, 302],
                     [104, 14, 311], [105, 14, 318], [107, 14, 327], [108, 14, 334], [111, 14, 344], [112, 14, 351],
                     [114, 14, 359], [115, 14, 367], [116, 14, 375], [118, 14, 382], [119, 14, 398], [121, 15, 408],
                     [121, 16, 414], [122, 16, 422], [123, 16, 430], [124, 16, 438], [125, 16, 455], [126, 16, 470],
                     [127, 16, 486], [128, 16, 510], [130, 16, 518], [131, 16, 534], [133, 17, 543], [134, 17, 582],
                     [135, 17, 615], [136, 17, 678], [137, 19, 703], [138, 19, 711], [139, 19, 763], [140, 20, 838],
                     [141, 20, 878], [142, 20, 902], [143, 20, 990], [144, 20, 1014], [145, 20, 1110], [145, 20, 1318]],
               46: [[-35, -40, 0], [0, 0, 0], [1, 0, 24], [2, 0, 45], [3, 0, 52], [4, 0, 61], [5, 0, 68], [6, 0, 77],
                    [7, 0, 84], [8, 0, 100], [9, 0, 109], [10, 0, 116], [11, 0, 132], [12, 0, 141], [13, 0, 156],
                    [14, 0, 164], [16, 0, 173], [17, 0, 189], [18, 0, 197], [20, 0, 204], [22, 0, 220], [23, 0, 237],
                    [25, 0, 253], [26, 0, 277], [28, 0, 293], [29, 0, 300], [30, 0, 309], [31, 0, 316], [32, 0, 333],
                    [34, 0, 348], [35, 0, 365], [37, 0, 381], [38, 0, 404], [40, 0, 420], [41, 0, 436], [43, 0, 452],
                    [44, 0, 477], [45, 0, 493], [46, 0, 509], [47, 0, 516], [48, 0, 533], [49, 0, 541], [50, 0, 548],
                    [51, 0, 565], [53, 0, 581], [54, 0, 612], [53, 0, 861], [52, -1, 884], [50, -1, 916], [49, -2, 985],
                    [48, -2, 1040], [47, -2, 1072], [46, -2, 1460], [46, -2, 1884]],
               129: [[-47, -25, 0], [0, 0, 0], [1, 0, 75], [3, 0, 83], [5, 0, 91], [11, 0, 99], [16, 2, 107],
                     [22, 3, 115], [29, 3, 123], [37, 3, 131], [43, 3, 139], [52, 4, 148], [58, 4, 155], [65, 4, 163],
                     [69, 4, 172], [75, 4, 179], [79, 4, 187], [83, 4, 194], [87, 4, 204], [90, 4, 211], [94, 4, 219],
                     [97, 4, 227], [99, 4, 237], [102, 4, 243], [104, 4, 251], [106, 4, 259], [108, 6, 267],
                     [109, 6, 276], [110, 6, 291], [111, 6, 367], [117, 6, 483], [120, 6, 504], [121, 6, 507],
                     [122, 6, 546], [123, 6, 692], [124, 6, 723], [125, 6, 743], [126, 6, 764], [126, 7, 787],
                     [127, 7, 823], [129, 7, 943], [129, 7, 1226]],
               83: [[-16, -23, 0], [0, 0, 0], [0, 0, 130], [1, 0, 138], [3, 0, 147], [5, 0, 154], [9, 0, 164],
                    [12, 0, 170], [16, 0, 178], [20, 0, 186], [26, 0, 195], [31, 0, 202], [38, 0, 209], [43, 0, 217],
                    [50, 0, 225], [56, 0, 233], [62, 0, 241], [68, 0, 251], [73, 0, 258], [79, 0, 265], [81, 0, 273],
                    [85, 0, 281], [88, 0, 290], [91, 0, 299], [93, 0, 305], [95, 0, 315], [96, 0, 320], [96, 0, 328],
                    [97, 0, 336], [97, 0, 344], [97, 0, 352], [98, 0, 360], [98, 0, 367], [98, 0, 605], [97, 0, 616],
                    [97, 0, 621], [97, 0, 633], [96, 0, 636], [96, 0, 645], [96, 0, 652], [95, 0, 662], [95, 0, 668],
                    [94, 0, 678], [94, 0, 684], [93, 0, 693], [93, 0, 700], [92, 0, 707], [92, 1, 715], [91, 1, 723],
                    [90, 1, 732], [90, 1, 739], [90, 1, 750], [90, 1, 755], [89, 1, 771], [89, 1, 787], [89, 1, 818],
                    [89, 1, 932], [88, 1, 937], [88, 1, 950], [88, 1, 952], [87, 1, 960], [87, 1, 968], [86, 1, 978],
                    [86, 1, 984], [85, 1, 993], [85, 1, 1000], [85, 1, 1008], [85, 1, 1016], [84, 1, 1025],
                    [84, 1, 1040], [84, 1, 1055], [84, 1, 1065], [84, 2, 1071], [83, 2, 1086], [83, 2, 1176],
                    [83, 2, 1480]],
               77: [[-50, -32, 0], [0, 0, 0], [2, 0, 13], [4, 0, 21], [6, 0, 29], [8, 0, 39], [11, 0, 45], [14, 0, 53],
                    [19, 0, 61], [24, 0, 69], [27, 0, 76], [32, 0, 85], [37, 0, 92], [41, 0, 101], [48, 1, 108],
                    [51, 2, 117], [54, 3, 124], [57, 4, 133], [60, 4, 140], [63, 4, 148], [65, 5, 157], [67, 6, 164],
                    [68, 6, 173], [70, 7, 181], [71, 7, 197], [73, 8, 205], [74, 8, 244], [75, 8, 269], [77, 10, 300],
                    [77, 10, 636]],
               50: [[-29, -29, 0], [0, 0, 0], [0, 0, 189], [2, 0, 197], [3, 0, 205], [5, 0, 213], [8, 0, 221],
                    [10, 0, 228], [12, 0, 237], [15, 0, 244], [17, 0, 252], [19, 0, 260], [22, 0, 269], [24, 0, 276],
                    [27, 0, 284], [29, 0, 292], [31, 0, 300], [33, 0, 308], [35, 0, 317], [37, 0, 323], [38, 0, 333],
                    [40, 0, 339], [41, 0, 347], [42, 0, 355], [44, 0, 363], [45, 0, 371], [46, 0, 379], [46, 0, 387],
                    [47, 0, 394], [47, 0, 403], [48, 0, 411], [48, 0, 418], [48, 0, 426], [48, 0, 434], [49, 0, 442],
                    [49, 0, 489], [49, 0, 497], [49, 0, 505], [50, 0, 513], [51, 0, 521], [51, 0, 529], [52, 0, 537],
                    [53, 0, 545], [54, 0, 553], [55, 0, 560], [55, 0, 569], [56, 0, 577], [57, 0, 584], [57, 0, 592],
                    [58, 0, 601], [58, 0, 608], [58, 0, 618], [58, 0, 624], [59, 0, 634], [58, 0, 783], [58, 0, 797],
                    [58, 0, 814], [58, 0, 821], [57, 0, 829], [57, 0, 837], [57, 0, 845], [57, 0, 853], [57, 0, 861],
                    [56, 0, 870], [56, 0, 886], [56, 0, 894], [56, 1, 903], [56, 1, 912], [55, 1, 917], [55, 1, 940],
                    [55, 1, 956], [55, 1, 972], [54, 1, 995], [54, 1, 1030], [54, 1, 1052], [54, 1, 1086],
                    [54, 1, 1117], [53, 1, 1123], [53, 1, 1154], [53, 1, 1170], [53, 1, 1196], [53, 1, 1240],
                    [53, 1, 1273], [52, 1, 1288], [52, 1, 1312], [52, 2, 1327], [52, 2, 1335], [52, 2, 1351],
                    [51, 2, 1368], [51, 2, 1407], [51, 2, 1439], [51, 2, 1479], [50, 2, 1511], [50, 2, 1559],
                    [50, 2, 1604], [50, 2, 1848]],
               79: [[-30, -36, 0], [0, 0, 0], [1, 0, 25], [2, 0, 43], [3, 0, 51], [4, 0, 57], [5, 0, 70], [6, 0, 74],
                    [7, 0, 79], [9, 0, 87], [11, 0, 94], [14, 0, 101], [15, 0, 109], [18, 0, 116], [22, 0, 124],
                    [25, 0, 133], [29, 0, 140], [32, 0, 149], [36, 0, 156], [38, 0, 165], [42, 0, 172], [45, 0, 181],
                    [47, 0, 188], [48, 0, 196], [49, 0, 204], [51, 0, 213], [52, 0, 237], [54, 0, 244], [55, 0, 269],
                    [56, 0, 285], [57, 0, 293], [59, 0, 310], [60, 0, 325], [61, 0, 333], [62, 0, 349], [64, 0, 357],
                    [65, 0, 389], [65, 0, 404], [66, 1, 421], [67, 1, 436], [68, 2, 444], [69, 2, 460], [70, 2, 483],
                    [71, 2, 500], [72, 2, 508], [73, 2, 564], [74, 2, 597], [75, 2, 652], [76, 2, 741], [77, 3, 763],
                    [78, 3, 856], [79, 4, 888], [79, 4, 1284]],
               117: [[-44, -24, 0], [0, 0, 0], [0, 0, 28], [0, 0, 122], [4, 0, 130], [14, 0, 158], [36, 0, 186],
                     [44, 0, 199], [56, 0, 220], [69, 0, 243], [85, 0, 280], [92, 0, 304], [95, -1, 339], [98, -2, 359],
                     [103, -3, 384], [109, -5, 406], [113, -6, 429], [117, -7, 452], [118, -8, 453], [119, -8, 476],
                     [120, -8, 477], [120, -8, 501], [121, -8, 525], [121, -8, 587], [121, -8, 889], [120, -8, 923],
                     [120, -8, 947], [119, -8, 972], [119, -8, 994], [118, -8, 1018], [118, -8, 1042], [118, -8, 1070],
                     [117, -8, 1110], [117, -8, 1140], [117, -8, 1148], [117, -8, 1376]],
               90: [[-30, -33, 0], [0, 0, 0], [1, 0, 92], [3, 0, 102], [4, 0, 110], [5, 0, 114], [7, 0, 121],
                    [9, 0, 129], [12, 0, 137], [15, 0, 147], [18, 0, 153], [21, 0, 163], [25, 0, 169], [30, 0, 177],
                    [33, 0, 184], [37, 0, 194], [39, 0, 201], [42, 0, 209], [45, 0, 216], [48, 0, 225], [52, 0, 233],
                    [56, 0, 240], [60, 0, 247], [64, 0, 256], [67, 0, 264], [72, 1, 272], [74, 1, 279], [76, 1, 288],
                    [78, 1, 295], [79, 1, 304], [80, 1, 312], [82, 1, 320], [84, 2, 335], [85, 2, 363], [86, 2, 380],
                    [87, 2, 395], [88, 2, 404], [89, 3, 416], [90, 3, 432], [90, 3, 798]],
               101: [[-13, -28, 0], [0, 0, 0], [0, 0, 40], [0, 0, 167], [2, 0, 175], [3, 0, 182], [14, 0, 222],
                     [32, 0, 263], [52, 0, 305], [70, 0, 349], [78, 0, 390], [83, -1, 432], [84, -1, 435],
                     [88, -1, 479], [92, -1, 523], [94, -1, 565], [95, -1, 605], [95, -1, 647], [95, -1, 849],
                     [98, -1, 891], [100, -1, 932], [100, -1, 934], [101, -1, 974], [101, -1, 1238]],
               116: [[-50, -14, 0], [0, 0, 0], [0, -1, 78], [3, -1, 86], [5, -1, 94], [10, -1, 102], [13, -1, 110],
                     [20, -1, 118], [25, 1, 126], [30, 2, 134], [34, 2, 142], [37, 2, 150], [42, 2, 158], [44, 3, 166],
                     [48, 3, 174], [51, 3, 182], [55, 3, 190], [57, 3, 198], [59, 3, 206], [62, 5, 214], [64, 5, 222],
                     [66, 5, 230], [70, 5, 238], [72, 5, 246], [75, 5, 254], [77, 5, 263], [79, 5, 270], [80, 5, 278],
                     [81, 5, 286], [82, 5, 295], [83, 5, 302], [85, 5, 318], [86, 5, 327], [89, 5, 334], [90, 5, 343],
                     [93, 5, 351], [95, 6, 359], [96, 6, 366], [98, 6, 375], [101, 7, 382], [102, 7, 391],
                     [104, 7, 407], [106, 8, 414], [107, 8, 430], [109, 9, 438], [111, 10, 446], [112, 10, 455],
                     [113, 10, 470], [115, 10, 496], [116, 10, 534], [116, 10, 895]],
               72: [[-18, -51, 0], [0, 0, 0], [1, 0, 121], [2, 0, 151], [4, 0, 166], [6, 0, 176], [9, 0, 185],
                    [11, 0, 196], [13, 0, 199], [17, 0, 203], [21, 1, 209], [24, 1, 218], [28, 2, 225], [33, 2, 234],
                    [38, 2, 241], [41, 2, 249], [45, 2, 256], [47, 2, 264], [50, 2, 272], [52, 2, 280], [54, 3, 289],
                    [56, 3, 296], [58, 3, 312], [58, 4, 321], [59, 4, 329], [60, 4, 353], [61, 5, 360], [62, 5, 369],
                    [63, 5, 385], [65, 5, 392], [65, 5, 409], [66, 5, 417], [67, 5, 424], [68, 5, 433], [69, 5, 440],
                    [71, 5, 448], [74, 5, 464], [75, 5, 472], [77, 5, 480], [78, 5, 489], [79, 5, 497], [81, 6, 506],
                    [83, 7, 536], [82, 7, 728], [81, 7, 769], [79, 7, 785], [78, 7, 801], [77, 7, 816], [76, 7, 825],
                    [75, 7, 848], [73, 7, 896], [72, 7, 928], [72, 7, 1424]],
               95: [[-44, -29, 0], [0, 0, 0], [0, 0, 154], [2, 0, 161], [4, 0, 169], [7, 0, 176], [10, 0, 186],
                    [14, 0, 191], [19, 0, 201], [23, 0, 207], [28, 0, 215], [34, 0, 223], [40, 0, 231], [45, 0, 239],
                    [51, 0, 247], [56, 0, 255], [61, 0, 262], [65, 0, 271], [70, 0, 279], [74, 0, 286], [78, 0, 294],
                    [82, 0, 302], [84, 1, 310], [87, 1, 318], [90, 1, 326], [93, 1, 335], [95, 2, 342], [97, 2, 351],
                    [98, 2, 357], [100, 2, 367], [101, 2, 373], [102, 2, 381], [103, 2, 389], [103, 2, 397],
                    [104, 2, 405], [105, 2, 413], [105, 2, 421], [105, 2, 428], [106, 2, 437], [106, 2, 445],
                    [106, 2, 452], [106, 2, 654], [106, 2, 658], [105, 2, 669], [105, 2, 674], [105, 2, 682],
                    [104, 2, 689], [104, 2, 697], [104, 2, 705], [103, 2, 713], [103, 2, 722], [102, 2, 729],
                    [102, 2, 737], [102, 2, 745], [101, 2, 753], [101, 2, 760], [100, 2, 769], [100, 2, 776],
                    [99, 3, 785], [99, 3, 792], [99, 3, 802], [98, 3, 808], [98, 3, 819], [98, 3, 824], [98, 3, 840],
                    [97, 3, 856], [97, 3, 864], [97, 3, 888], [97, 3, 937], [96, 3, 992], [96, 3, 1015], [96, 3, 1030],
                    [96, 3, 1045], [95, 3, 1061], [95, 3, 1097], [95, 3, 1458], [95, 3, 1469]],
               65: [[-28, -24, 0], [0, 0, 0], [1, 0, 99], [2, 0, 110], [4, 0, 118], [5, 0, 123], [7, 0, 131],
                    [9, 0, 146], [10, 0, 154], [12, 0, 163], [13, 0, 173], [15, 1, 179], [16, 1, 185], [20, 2, 195],
                    [20, 3, 201], [22, 3, 210], [23, 3, 218], [26, 3, 226], [27, 3, 234], [28, 4, 242], [29, 4, 250],
                    [31, 4, 258], [33, 4, 267], [34, 6, 274], [37, 6, 282], [38, 6, 291], [41, 7, 298], [43, 7, 314],
                    [45, 7, 322], [46, 7, 331], [47, 7, 338], [48, 7, 346], [49, 7, 354], [50, 7, 371], [51, 8, 378],
                    [52, 8, 386], [53, 8, 395], [54, 8, 412], [55, 8, 418], [56, 8, 426], [57, 8, 443], [58, 8, 450],
                    [59, 8, 466], [60, 8, 482], [62, 8, 490], [62, 9, 498], [63, 9, 522], [64, 9, 530], [65, 9, 546],
                    [65, 9, 929]],
               51: [[-44, -46, 0], [0, 0, 0], [0, 1, 23], [0, 2, 36], [1, 3, 51], [2, 4, 96], [3, 6, 99], [4, 6, 104],
                    [5, 6, 112], [6, 8, 121], [9, 8, 129], [10, 9, 138], [12, 9, 144], [13, 10, 153], [17, 11, 160],
                    [18, 11, 169], [21, 11, 176], [24, 12, 184], [25, 12, 192], [27, 13, 200], [29, 13, 208],
                    [30, 13, 216], [31, 13, 226], [33, 15, 233], [34, 15, 242], [35, 15, 249], [36, 15, 265],
                    [37, 16, 274], [38, 16, 282], [39, 16, 297], [40, 17, 305], [41, 17, 321], [42, 17, 329],
                    [44, 18, 337], [44, 19, 353], [45, 19, 361], [46, 19, 377], [47, 19, 384], [49, 19, 408],
                    [50, 19, 425], [50, 20, 442], [51, 20, 458], [51, 20, 928]],
               67: [[-41, -39, 0], [0, 0, 0], [1, 0, 71], [5, 2, 79], [10, 3, 87], [15, 3, 94], [18, 4, 102],
                    [22, 4, 111], [25, 4, 118], [28, 5, 126], [33, 6, 134], [37, 6, 143], [40, 7, 150], [43, 7, 158],
                    [46, 7, 166], [47, 7, 174], [49, 7, 182], [50, 7, 190], [51, 9, 197], [53, 9, 222], [54, 9, 248],
                    [56, 9, 351], [57, 9, 385], [58, 10, 407], [59, 10, 415], [60, 11, 560], [61, 11, 592],
                    [62, 11, 599], [63, 12, 608], [65, 12, 616], [65, 12, 639], [66, 13, 663], [67, 13, 711],
                    [67, 13, 1046]],
               75: [[-50, -32, 0], [0, 0, 0], [0, -1, 23], [2, -1, 39], [6, -1, 45], [9, -1, 56], [14, -1, 60],
                    [18, -1, 66], [22, -1, 74], [29, -1, 82], [32, -1, 89], [35, -1, 97], [41, 0, 105], [46, 0, 113],
                    [48, 0, 121], [51, 0, 130], [54, 1, 137], [55, 1, 145], [57, 1, 153], [59, 3, 161], [61, 3, 169],
                    [62, 3, 178], [63, 3, 185], [64, 3, 194], [65, 3, 209], [65, 4, 217], [66, 4, 234], [67, 4, 249],
                    [68, 4, 257], [69, 4, 265], [70, 6, 274], [71, 6, 306], [72, 6, 321], [73, 6, 417], [74, 6, 449],
                    [75, 7, 465], [75, 7, 1048]],
               106: [[-41, -39, 0], [0, 0, 0], [14, 0, 8], [19, 0, 15], [27, 0, 23], [34, 2, 31], [42, 2, 38],
                     [48, 2, 47], [56, 2, 54], [63, 2, 63], [67, 2, 70], [75, 3, 79], [79, 3, 86], [84, 4, 95],
                     [87, 5, 102], [89, 5, 111], [91, 5, 118], [93, 6, 126], [94, 6, 134], [95, 6, 151], [96, 6, 168],
                     [97, 6, 174], [98, 6, 199], [100, 6, 206], [101, 6, 223], [102, 6, 231], [103, 6, 240],
                     [104, 6, 247], [105, 6, 254], [106, 6, 263], [106, 6, 645]],
               53: [[-35, -31, 0], [0, 0, 0], [0, 0, 170], [1, 0, 175], [3, 0, 185], [3, 0, 190], [6, 0, 198],
                    [7, 0, 206], [8, 0, 214], [10, 0, 222], [12, 0, 230], [13, 0, 238], [15, 0, 245], [17, 0, 253],
                    [19, 0, 261], [20, 0, 269], [22, 0, 277], [24, 0, 285], [26, 0, 293], [28, 0, 301], [30, 0, 309],
                    [32, 0, 318], [33, 0, 324], [35, 0, 335], [36, 0, 340], [37, 0, 349], [38, 1, 356], [39, 1, 364],
                    [40, 1, 372], [40, 1, 380], [41, 1, 388], [41, 1, 395], [42, 1, 404], [42, 1, 411], [43, 1, 419],
                    [43, 1, 427], [43, 1, 435], [43, 1, 443], [44, 1, 452], [44, 1, 459], [44, 1, 467], [44, 1, 494],
                    [45, 1, 660], [45, 1, 667], [46, 2, 673], [47, 2, 680], [47, 2, 688], [48, 2, 696], [49, 2, 704],
                    [49, 2, 712], [50, 2, 720], [50, 2, 727], [51, 2, 736], [51, 3, 743], [51, 3, 752], [51, 3, 759],
                    [51, 3, 804], [52, 3, 1087], [52, 3, 1118], [52, 3, 1140], [52, 3, 1172], [52, 3, 1253],
                    [52, 3, 1290], [53, 3, 1298], [53, 3, 1620]],
               64: [[-48, -30, 0], [0, 0, 0], [4, 0, 84], [7, 0, 94], [10, 1, 100], [13, 1, 109], [15, 2, 117],
                    [18, 2, 127], [21, 3, 132], [25, 3, 137], [27, 4, 145], [29, 4, 153], [32, 4, 162], [35, 5, 169],
                    [37, 5, 177], [40, 6, 185], [44, 7, 193], [46, 7, 203], [49, 7, 210], [52, 7, 217], [54, 9, 227],
                    [56, 9, 233], [57, 9, 241], [59, 9, 250], [60, 9, 266], [61, 9, 299], [62, 9, 314], [63, 9, 321],
                    [64, 9, 369], [64, 9, 743]],
               121: [[-45, -39, 0], [0, 0, 0], [2, 0, 41], [5, 0, 49], [11, 0, 61], [17, 0, 68], [25, 0, 73],
                     [33, 0, 79], [42, 0, 84], [51, 0, 92], [62, 0, 100], [72, 0, 108], [82, 0, 117], [92, 0, 125],
                     [98, 0, 132], [104, 0, 140], [107, 0, 148], [110, 2, 156], [111, 2, 164], [112, 2, 180],
                     [113, 2, 245], [114, 3, 269], [115, 3, 308], [116, 5, 333], [117, 5, 340], [117, 6, 412],
                     [118, 6, 460], [119, 6, 476], [120, 6, 516], [121, 6, 612], [121, 6, 900]],
               174: [[-40, -27, 0], [0, 0, 0], [0, 0, 6], [0, 0, 120], [0, 0, 128], [2, 0, 135], [5, 0, 142],
                     [10, 0, 150], [12, 0, 158], [17, 0, 166], [22, 0, 173], [27, 0, 183], [30, 0, 189], [35, 0, 199],
                     [40, 0, 205], [44, 0, 213], [49, 0, 221], [52, 0, 229], [57, 1, 236], [61, 1, 245], [65, 2, 253],
                     [69, 2, 260], [73, 2, 268], [77, 3, 276], [80, 3, 284], [85, 3, 292], [87, 3, 300], [92, 4, 307],
                     [94, 4, 316], [97, 5, 323], [102, 5, 333], [105, 5, 340], [108, 5, 350], [111, 5, 355],
                     [115, 6, 365], [118, 6, 371], [123, 6, 379], [127, 6, 387], [132, 7, 394], [136, 7, 402],
                     [141, 7, 411], [145, 7, 418], [149, 7, 426], [153, 8, 434], [158, 8, 442], [159, 8, 450],
                     [163, 8, 458], [165, 9, 466], [167, 9, 473], [169, 9, 483], [170, 9, 489], [171, 9, 499],
                     [172, 9, 505], [172, 9, 513], [172, 9, 521], [173, 9, 529], [173, 9, 537], [173, 9, 553],
                     [173, 9, 624], [174, 9, 663], [174, 9, 707], [174, 9, 728], [174, 9, 1036], [174, 9, 1051]],
               68: [[-49, -35, 0], [0, 0, 0], [2, 0, 120], [5, 0, 134], [6, 0, 141], [9, 0, 152], [12, 0, 161],
                    [13, 0, 164], [16, 2, 171], [17, 2, 185], [18, 2, 192], [20, 2, 200], [22, 2, 206], [23, 2, 212],
                    [25, 2, 220], [27, 3, 269], [37, 5, 271], [40, 5, 274], [42, 5, 282], [45, 5, 294], [47, 5, 297],
                    [48, 5, 305], [50, 5, 313], [52, 5, 321], [54, 5, 330], [55, 5, 346], [57, 5, 369], [58, 5, 393],
                    [60, 5, 417], [61, 5, 450], [63, 5, 473], [64, 5, 482], [65, 5, 498], [65, 6, 505], [66, 6, 521],
                    [67, 6, 842], [68, 6, 864], [68, 6, 1193]],
               44: [[-38, -29, 0], [0, 0, 0], [1, 0, 103], [2, 0, 108], [3, 0, 118], [4, 0, 126], [5, 0, 133],
                    [6, 0, 139], [7, 0, 170], [9, 0, 178], [10, 0, 210], [11, 0, 218], [12, 0, 241], [14, 1, 266],
                    [15, 1, 298], [16, 1, 313], [17, 1, 337], [18, 1, 353], [19, 1, 385], [20, 3, 401], [21, 3, 410],
                    [22, 3, 433], [23, 3, 451], [24, 3, 477], [25, 3, 485], [26, 3, 501], [28, 3, 525], [30, 3, 541],
                    [31, 3, 557], [32, 3, 574], [33, 3, 581], [34, 3, 597], [35, 3, 613], [36, 3, 623], [38, 3, 643],
                    [39, 3, 658], [40, 3, 682], [41, 3, 698], [42, 2, 714], [43, 2, 778], [44, 2, 905], [44, 2, 1137]],
               55: [[-24, -29, 0], [0, 0, 0], [0, -1, 8], [2, -1, 40], [3, -1, 48], [5, -1, 64], [6, -1, 71],
                    [8, -1, 86], [9, -1, 94], [10, -1, 102], [12, -1, 110], [13, -1, 126], [15, -1, 134], [15, 0, 142],
                    [16, 0, 150], [17, 0, 158], [18, 0, 166], [20, 0, 174], [22, 1, 183], [24, 1, 199], [25, 1, 207],
                    [27, 1, 215], [28, 1, 222], [29, 2, 238], [31, 2, 246], [32, 2, 263], [33, 2, 270], [34, 2, 278],
                    [36, 2, 294], [37, 2, 302], [38, 2, 318], [39, 2, 326], [40, 2, 334], [41, 2, 342], [42, 2, 350],
                    [43, 3, 358], [44, 3, 366], [45, 3, 374], [46, 3, 382], [47, 3, 391], [48, 3, 399], [49, 3, 406],
                    [51, 5, 422], [52, 5, 447], [53, 5, 543], [54, 5, 630], [55, 5, 889], [55, 5, 1477]],
               124: [[-31, -34, 0], [0, 0, 0], [1, 0, 78], [4, 0, 88], [32, 0, 138], [65, 0, 190], [81, 0, 242],
                     [92, 0, 292], [93, 0, 293], [106, 0, 345], [108, 0, 348], [118, -1, 399], [119, -1, 403],
                     [122, -2, 453], [122, -2, 505], [123, -2, 558], [123, -2, 608], [123, -2, 659], [124, -2, 709],
                     [124, -2, 760], [124, -2, 811], [125, -2, 862], [124, -2, 1066], [124, -2, 1120]],
               82: [[-24, -41, 0], [0, 0, 0], [1, 0, 122], [2, 0, 138], [3, 0, 147], [5, 0, 158], [7, 0, 171],
                    [8, 0, 179], [9, 0, 183], [10, 1, 190], [11, 1, 198], [12, 1, 205], [13, 1, 220], [15, 1, 230],
                    [16, 1, 237], [17, 1, 244], [19, 1, 252], [21, 1, 261], [22, 1, 268], [23, 2, 276], [26, 2, 284],
                    [29, 2, 292], [31, 2, 301], [34, 2, 308], [37, 2, 316], [40, 2, 324], [43, 2, 332], [49, 2, 341],
                    [52, 2, 348], [56, 2, 356], [61, 2, 364], [65, 2, 372], [68, 2, 381], [72, 2, 389], [75, 2, 397],
                    [77, 2, 405], [78, 2, 413], [79, 2, 430], [80, 2, 437], [81, 2, 468], [82, 2, 1149], [82, 2, 1451]],
               139: [[-30, -35, 0], [0, 0, 0], [0, 0, 11], [2, 0, 107], [4, 0, 115], [7, 0, 122], [10, 1, 131],
                     [14, 1, 138], [17, 2, 147], [22, 2, 153], [27, 2, 160], [32, 2, 168], [39, 2, 176], [45, 2, 184],
                     [52, 2, 193], [59, 2, 200], [65, 2, 208], [70, 2, 215], [78, 2, 224], [82, 2, 232], [88, 2, 240],
                     [93, 2, 247], [96, 2, 255], [100, 2, 263], [102, 2, 271], [103, 2, 279], [106, 2, 288],
                     [109, 2, 295], [111, 2, 304], [113, 2, 311], [115, 2, 319], [117, 2, 327], [120, 2, 336],
                     [121, 2, 343], [124, 2, 352], [126, 2, 359], [128, 2, 367], [130, 3, 376], [131, 3, 384],
                     [132, 3, 391], [134, 3, 407], [135, 3, 423], [136, 3, 441], [137, 3, 455], [138, 3, 486],
                     [139, 3, 542], [139, 3, 1270]],
               48: [[-21, -31, 0], [0, 0, 0], [1, 0, 25], [4, 0, 36], [5, 0, 43], [7, 0, 55], [11, 0, 60], [13, 0, 69],
                    [16, 1, 76], [19, 1, 85], [20, 1, 90], [23, 1, 99], [25, 1, 106], [27, 1, 115], [30, 3, 122],
                    [33, 3, 131], [36, 3, 138], [39, 3, 146], [42, 3, 154], [45, 3, 162], [48, 3, 170], [51, 3, 178],
                    [53, 3, 186], [56, 3, 194], [58, 3, 210], [59, 3, 226], [60, 3, 250], [59, 4, 549], [57, 4, 580],
                    [56, 4, 613], [54, 5, 653], [53, 6, 660], [52, 6, 692], [51, 6, 701], [50, 6, 717], [48, 6, 756],
                    [48, 6, 1186]],
               93: [[-52, -44, 0], [0, 0, 0], [2, 0, 97], [7, 1, 105], [10, 2, 112], [13, 2, 121], [17, 3, 128],
                    [22, 3, 138], [28, 3, 144], [36, 3, 154], [40, 5, 160], [46, 5, 171], [53, 5, 177], [59, 5, 183],
                    [65, 5, 191], [70, 5, 198], [75, 5, 206], [79, 5, 215], [83, 5, 222], [85, 5, 230], [88, 5, 238],
                    [89, 5, 246], [90, 5, 640], [91, 5, 648], [92, 5, 656], [93, 5, 672], [93, 5, 1069]],
               56: [[-22, -39, 0], [0, 0, 0], [0, 0, 168], [1, 0, 176], [3, 0, 182], [6, 0, 190], [7, 0, 198],
                    [10, 0, 206], [13, 0, 213], [15, 0, 222], [18, 0, 229], [20, 0, 238], [23, 0, 245], [26, 0, 253],
                    [27, 0, 261], [32, 0, 268], [34, 0, 277], [36, 0, 284], [38, 0, 294], [41, 0, 300], [43, 0, 310],
                    [44, 0, 317], [46, 0, 324], [47, 0, 332], [48, 0, 341], [50, 0, 348], [51, 0, 356], [52, 0, 363],
                    [52, 0, 371], [53, 0, 379], [54, 0, 387], [54, 0, 395], [55, 0, 403], [55, 0, 411], [56, 1, 419],
                    [56, 1, 428], [56, 1, 435], [56, 1, 444], [57, 1, 450], [57, 1, 458], [57, 1, 467], [57, 1, 475],
                    [58, 1, 482], [58, 1, 490], [58, 1, 498], [58, 1, 505], [59, 1, 514], [59, 1, 522], [59, 1, 529],
                    [59, 1, 538], [60, 1, 546], [60, 1, 554], [60, 1, 569], [60, 1, 597], [60, 1, 602], [60, 2, 672],
                    [60, 2, 839], [60, 2, 854], [60, 2, 862], [59, 2, 879], [59, 2, 885], [59, 2, 894], [58, 2, 910],
                    [58, 2, 917], [58, 2, 925], [58, 2, 933], [57, 2, 941], [57, 2, 949], [57, 2, 965], [57, 2, 982],
                    [56, 2, 997], [56, 2, 1020], [56, 2, 1036], [56, 3, 1100], [56, 3, 1397]],
               130: [[-25, -20, 0], [0, 0, 0], [4, -1, 13], [7, -1, 20], [18, -3, 32], [23, -4, 40], [31, -5, 46],
                     [38, -6, 58], [47, -8, 64], [52, -8, 69], [57, -8, 75], [64, -8, 81], [69, -8, 90], [73, -8, 98],
                     [77, -8, 105], [80, -8, 112], [82, -8, 122], [84, -8, 129], [85, -7, 137], [88, -7, 145],
                     [90, -7, 153], [91, -7, 161], [92, -7, 169], [94, -7, 177], [96, -5, 185], [97, -5, 201],
                     [99, -5, 208], [100, -4, 228], [101, -4, 244], [102, -4, 253], [104, -3, 261], [106, -3, 269],
                     [107, -2, 277], [108, -2, 284], [111, -1, 293], [113, 0, 300], [115, 0, 310], [116, 0, 314],
                     [117, 0, 331], [118, 0, 339], [119, 0, 461], [120, 0, 476], [121, 0, 485], [122, 0, 508],
                     [123, 1, 541], [124, 1, 595], [125, 1, 610], [126, 1, 626], [127, 1, 633], [128, 1, 657],
                     [129, 1, 665], [130, 1, 672], [130, 1, 1088]],
               45: [[-41, -30, 0], [0, 0, 0], [0, 0, 194], [0, 0, 199], [2, 0, 208], [3, 0, 215], [4, 0, 222],
                    [5, 0, 230], [7, 0, 238], [8, 0, 247], [10, 0, 254], [11, 0, 263], [13, 0, 270], [14, 0, 279],
                    [16, 0, 286], [18, 0, 295], [19, 0, 301], [20, 0, 310], [22, 0, 317], [23, 0, 325], [24, 0, 333],
                    [25, 0, 342], [26, 0, 349], [27, 0, 357], [29, 0, 364], [29, 0, 372], [30, 0, 380], [31, 0, 388],
                    [33, 0, 396], [34, 0, 404], [35, 0, 413], [36, 0, 420], [37, 1, 428], [38, 1, 437], [39, 1, 447],
                    [40, 1, 452], [41, 1, 459], [41, 1, 467], [42, 1, 475], [43, 1, 483], [44, 1, 491], [45, 1, 499],
                    [45, 1, 507], [46, 1, 515], [46, 1, 522], [47, 1, 531], [48, 1, 539], [48, 1, 547], [48, 1, 554],
                    [49, 1, 563], [49, 1, 570], [49, 1, 579], [49, 1, 586], [50, 1, 593], [50, 1, 602], [50, 1, 677],
                    [50, 1, 951], [50, 1, 958], [49, 1, 973], [49, 1, 981], [49, 1, 999], [49, 1, 1016], [48, 1, 1021],
                    [48, 1, 1037], [48, 1, 1048], [48, 2, 1052], [48, 2, 1080], [47, 2, 1149], [47, 2, 1206],
                    [47, 2, 1236], [47, 2, 1261], [47, 2, 1315], [47, 2, 1354], [46, 2, 1396], [46, 2, 1402],
                    [46, 2, 1418], [46, 2, 1449], [46, 2, 1455], [46, 2, 1471], [45, 2, 1515], [45, 2, 1884],
                    [45, 2, 2085]],
               105: [[-44, -32, 0], [0, 0, 0], [0, 0, 206], [1, 0, 213], [3, 0, 223], [5, 0, 227], [8, 0, 236],
                     [10, 0, 243], [13, 0, 252], [16, 0, 259], [19, 0, 267], [22, 0, 274], [25, 0, 284], [28, 0, 291],
                     [32, 0, 299], [33, 0, 307], [36, 0, 316], [38, 0, 322], [40, 0, 331], [42, 0, 339], [44, 0, 346],
                     [45, 0, 356], [46, 0, 361], [47, 0, 369], [48, 0, 377], [49, 0, 385], [49, 0, 393], [50, 0, 403],
                     [51, 0, 409], [52, 0, 417], [52, 1, 425], [53, 1, 433], [54, 1, 441], [55, 1, 451], [57, 1, 456],
                     [58, 1, 465], [59, 1, 473], [61, 1, 480], [62, 1, 490], [63, 1, 496], [65, 1, 503], [66, 1, 511],
                     [68, 2, 519], [69, 2, 527], [70, 2, 535], [71, 2, 543], [72, 2, 551], [73, 2, 559], [74, 2, 569],
                     [75, 2, 575], [76, 2, 583], [76, 2, 591], [77, 2, 599], [78, 2, 607], [79, 2, 615], [79, 2, 623],
                     [80, 2, 631], [81, 2, 640], [82, 2, 647], [82, 3, 657], [83, 3, 662], [84, 3, 672], [85, 3, 678],
                     [85, 3, 687], [86, 3, 693], [86, 3, 703], [86, 3, 710], [87, 3, 717], [87, 3, 725], [87, 3, 732],
                     [87, 3, 740], [88, 3, 773], [88, 3, 807], [88, 3, 828], [88, 3, 843], [89, 3, 851], [89, 3, 859],
                     [90, 3, 867], [91, 3, 875], [92, 3, 883], [93, 3, 891], [94, 3, 899], [95, 3, 907], [97, 3, 915],
                     [98, 3, 924], [99, 4, 930], [99, 4, 940], [100, 4, 948], [100, 4, 957], [100, 4, 962],
                     [101, 4, 975], [101, 4, 978], [101, 4, 987], [102, 4, 993], [102, 4, 1051], [102, 4, 1288],
                     [102, 4, 1303], [102, 4, 1309], [103, 4, 1320], [103, 4, 1326], [103, 4, 1334], [103, 4, 1341],
                     [104, 5, 1358], [104, 5, 1374], [104, 5, 1399], [104, 5, 1408], [104, 5, 1445], [104, 6, 1501],
                     [105, 6, 1737], [105, 6, 1760], [105, 6, 1793], [105, 6, 1842], [105, 6, 2138]],
               89: [[-47, -38, 0], [0, 0, 0], [1, 0, 56], [3, 0, 66], [3, 1, 73], [6, 1, 80], [7, 2, 88], [9, 3, 97],
                    [11, 4, 104], [13, 5, 113], [15, 5, 121], [17, 6, 129], [21, 6, 136], [23, 7, 145], [26, 8, 152],
                    [29, 9, 161], [32, 9, 168], [36, 9, 176], [40, 9, 185], [44, 11, 192], [49, 12, 201], [52, 12, 209],
                    [56, 12, 217], [57, 13, 225], [61, 13, 232], [64, 13, 241], [65, 13, 249], [66, 13, 256],
                    [67, 13, 266], [69, 15, 273], [70, 15, 281], [72, 15, 288], [74, 16, 297], [76, 16, 312],
                    [77, 16, 321], [78, 16, 337], [79, 16, 344], [80, 16, 352], [82, 16, 377], [82, 17, 392],
                    [83, 17, 409], [84, 17, 564], [85, 17, 580], [86, 17, 612], [87, 18, 622], [88, 18, 730],
                    [89, 18, 1572], [89, 18, 2080]],
               147: [[-39, -28, 0], [0, 0, 0], [1, 0, 88], [5, 0, 96], [8, 0, 111], [14, 3, 120], [17, 3, 127],
                     [21, 3, 131], [24, 3, 138], [29, 3, 145], [33, 3, 153], [39, 3, 160], [44, 3, 169], [49, 3, 176],
                     [54, 3, 185], [57, 3, 192], [61, 3, 200], [63, 3, 208], [65, 3, 216], [68, 3, 224], [69, 4, 232],
                     [72, 4, 240], [74, 5, 248], [76, 5, 256], [79, 6, 264], [80, 6, 272], [82, 6, 280], [85, 7, 290],
                     [86, 7, 296], [89, 7, 305], [92, 7, 312], [94, 7, 320], [97, 7, 328], [100, 7, 338], [104, 7, 344],
                     [105, 7, 352], [108, 7, 360], [109, 7, 368], [111, 7, 376], [113, 7, 384], [115, 7, 392],
                     [117, 7, 408], [118, 7, 416], [119, 8, 424], [120, 8, 432], [122, 8, 440], [122, 9, 448],
                     [124, 9, 464], [125, 9, 473], [127, 9, 480], [128, 10, 489], [129, 10, 496], [130, 10, 506],
                     [131, 10, 512], [133, 10, 520], [134, 10, 528], [135, 11, 536], [136, 11, 576], [137, 11, 592],
                     [138, 11, 608], [139, 12, 617], [141, 13, 640], [142, 13, 664], [144, 13, 681], [144, 14, 720],
                     [145, 14, 965], [146, 14, 1005], [147, 14, 1021], [147, 14, 1296]],
               63: [[-43, -31, 0], [0, 0, 0], [0, -1, 73], [0, -2, 81], [1, -3, 89], [3, -3, 98], [4, -3, 105],
                    [8, -4, 113], [9, -5, 121], [12, -6, 131], [15, -6, 137], [18, -6, 145], [21, -7, 153],
                    [23, -7, 162], [26, -8, 169], [29, -9, 177], [33, -9, 184], [36, -9, 193], [38, -9, 201],
                    [41, -9, 208], [44, -9, 217], [46, -9, 224], [49, -10, 233], [51, -10, 240], [53, -10, 258],
                    [54, -10, 265], [55, -10, 282], [56, -10, 289], [57, -10, 298], [58, -10, 313], [60, -10, 337],
                    [61, -10, 369], [63, -10, 714], [63, -10, 1280]],
               112: [[-27, -35, 0], [0, 0, 0], [0, -1, 113], [1, 0, 123], [3, 0, 131], [6, 2, 146], [9, 3, 148],
                     [12, 3, 152], [15, 6, 160], [19, 6, 168], [21, 7, 177], [26, 8, 184], [30, 10, 193], [35, 12, 201],
                     [39, 12, 210], [43, 12, 217], [46, 13, 226], [50, 13, 233], [56, 15, 242], [59, 15, 249],
                     [62, 15, 257], [65, 15, 265], [66, 15, 272], [70, 15, 280], [73, 15, 289], [76, 15, 296],
                     [79, 15, 304], [80, 15, 312], [83, 15, 321], [85, 16, 330], [87, 16, 337], [88, 16, 345],
                     [90, 17, 353], [91, 17, 360], [93, 17, 368], [94, 18, 376], [95, 18, 385], [97, 18, 393],
                     [98, 19, 409], [99, 19, 417], [100, 19, 425], [101, 19, 449], [102, 19, 457], [103, 19, 465],
                     [104, 19, 481], [105, 19, 497], [106, 19, 513], [107, 19, 521], [108, 19, 537], [109, 19, 717],
                     [110, 19, 733], [110, 20, 741], [111, 20, 750], [112, 20, 778], [112, 20, 1113]],
               177: [[-35, -48, 0], [0, 0, 0], [0, 0, 10], [4, 1, 36], [7, 1, 38], [10, 2, 46], [14, 5, 54],
                     [16, 5, 62], [21, 6, 70], [24, 6, 78], [28, 7, 86], [34, 9, 94], [41, 10, 101], [47, 11, 110],
                     [56, 11, 117], [64, 14, 127], [70, 14, 134], [78, 15, 142], [87, 16, 150], [98, 17, 158],
                     [106, 19, 166], [114, 20, 174], [123, 21, 182], [128, 22, 190], [134, 23, 198], [137, 24, 206],
                     [143, 25, 215], [144, 25, 223], [146, 25, 230], [148, 25, 239], [149, 26, 246], [152, 26, 254],
                     [154, 26, 270], [155, 26, 278], [157, 26, 295], [159, 27, 302], [159, 28, 310], [161, 28, 326],
                     [162, 28, 334], [165, 28, 342], [168, 29, 351], [170, 29, 358], [172, 30, 367], [173, 30, 374],
                     [176, 30, 382], [177, 30, 390], [178, 30, 399], [179, 31, 407], [181, 32, 430], [182, 32, 446],
                     [183, 32, 470], [182, 32, 872], [180, 32, 879], [179, 32, 895], [177, 32, 974], [177, 32, 1534]],
               173: [[-42, -29, 0], [0, 0, 0], [1, 0, 162], [3, 0, 166], [5, 0, 174], [8, 0, 182], [11, 0, 189],
                     [15, 0, 197], [20, 0, 205], [29, 0, 213], [32, 0, 221], [37, 0, 229], [43, 0, 236], [49, 0, 245],
                     [55, 1, 252], [61, 1, 260], [69, 2, 269], [74, 2, 277], [81, 3, 284], [87, 4, 294], [93, 5, 300],
                     [98, 6, 311], [100, 6, 316], [107, 7, 324], [109, 7, 331], [112, 8, 339], [115, 8, 347],
                     [117, 9, 355], [119, 9, 363], [121, 9, 371], [122, 9, 379], [123, 9, 387], [125, 9, 395],
                     [126, 10, 403], [127, 10, 411], [128, 10, 418], [128, 10, 427], [129, 10, 435], [130, 10, 444],
                     [131, 10, 450], [132, 11, 461], [133, 11, 466], [134, 11, 474], [135, 11, 482], [136, 11, 490],
                     [137, 11, 498], [138, 12, 505], [139, 12, 513], [141, 12, 521], [142, 12, 529], [143, 12, 537],
                     [145, 12, 545], [146, 12, 553], [147, 13, 562], [149, 13, 568], [150, 13, 577], [151, 13, 584],
                     [152, 13, 594], [153, 13, 600], [155, 13, 611], [156, 13, 616], [156, 13, 624], [157, 13, 632],
                     [158, 13, 640], [159, 13, 648], [159, 13, 656], [160, 13, 664], [160, 14, 672], [160, 14, 680],
                     [161, 14, 688], [161, 14, 695], [162, 14, 703], [162, 14, 711], [163, 14, 719], [163, 14, 728],
                     [164, 14, 734], [164, 14, 745], [164, 14, 750], [165, 14, 761], [165, 14, 766], [165, 14, 774],
                     [165, 14, 782], [165, 14, 847], [166, 14, 1046], [166, 14, 1051], [166, 14, 1061], [167, 14, 1067],
                     [168, 14, 1077], [169, 14, 1082], [170, 14, 1090], [171, 14, 1098], [172, 14, 1106],
                     [172, 14, 1114], [173, 14, 1122], [173, 14, 1130], [174, 14, 1138], [174, 14, 1146],
                     [174, 14, 1154], [175, 14, 1162], [175, 14, 1169], [175, 14, 1577], [174, 14, 1624],
                     [174, 14, 1636], [174, 14, 1653], [174, 14, 1679], [173, 14, 1700], [173, 14, 1733],
                     [173, 14, 2209], [173, 14, 2496]],
               115: [[-45, -31, 0], [0, 0, 0], [3, 1, 83], [4, 1, 92], [8, 3, 102], [12, 3, 112], [16, 4, 118],
                     [20, 4, 128], [24, 4, 134], [28, 4, 139], [33, 4, 146], [37, 4, 154], [41, 4, 162], [44, 4, 170],
                     [48, 4, 178], [50, 4, 185], [51, 4, 193], [53, 4, 202], [55, 4, 209], [57, 4, 218], [59, 4, 225],
                     [61, 4, 234], [62, 4, 241], [65, 4, 251], [66, 4, 257], [69, 4, 266], [70, 4, 274], [71, 5, 282],
                     [72, 5, 290], [73, 5, 298], [74, 5, 305], [76, 5, 314], [78, 5, 321], [80, 5, 330], [81, 5, 338],
                     [84, 5, 346], [86, 6, 354], [88, 6, 362], [90, 7, 370], [92, 7, 378], [94, 7, 386], [95, 7, 394],
                     [97, 8, 402], [99, 8, 409], [100, 8, 418], [101, 8, 426], [103, 9, 434], [104, 10, 442],
                     [105, 10, 450], [107, 11, 466], [108, 11, 482], [109, 11, 489], [110, 11, 498], [111, 11, 514],
                     [112, 11, 530], [113, 11, 546], [114, 11, 562], [115, 11, 645], [115, 11, 1025]],
               120: [[-39, -39, 0], [0, 0, 0], [2, 0, 6], [5, 0, 23], [7, 0, 31], [8, 0, 38], [11, 0, 47], [14, 0, 54],
                     [16, -1, 62], [17, -1, 70], [19, -1, 78], [20, -1, 85], [23, -1, 93], [26, -1, 101], [31, -1, 109],
                     [35, -1, 117], [41, -1, 125], [50, -1, 133], [58, -1, 141], [65, -1, 149], [74, -1, 157],
                     [81, -1, 165], [87, -1, 173], [93, -1, 182], [96, -1, 190], [98, -1, 197], [99, -1, 205],
                     [100, -1, 213], [103, -1, 221], [104, -1, 230], [106, -1, 246], [107, -1, 253], [109, -1, 262],
                     [110, -1, 278], [111, -1, 285], [112, -1, 294], [113, -1, 317], [115, -1, 493], [116, -1, 549],
                     [117, -2, 894], [118, -2, 925], [119, -2, 942], [120, -2, 966], [120, -2, 1270]],
               136: [[-46, -42, 0], [0, 0, 0], [2, 0, 89], [5, 1, 96], [9, 3, 111], [13, 4, 118], [17, 4, 122],
                     [21, 4, 125], [27, 5, 133], [33, 7, 140], [35, 7, 148], [39, 7, 154], [43, 8, 161], [46, 9, 170],
                     [51, 9, 177], [54, 9, 185], [58, 10, 193], [59, 10, 201], [62, 11, 209], [65, 11, 217],
                     [65, 11, 225], [68, 12, 233], [69, 12, 241], [71, 13, 257], [72, 13, 266], [74, 13, 274],
                     [75, 13, 282], [77, 13, 290], [79, 13, 298], [82, 13, 307], [83, 13, 314], [85, 13, 324],
                     [86, 13, 330], [88, 13, 338], [89, 14, 355], [90, 15, 371], [91, 15, 387], [92, 15, 410],
                     [95, 15, 426], [97, 15, 442], [99, 15, 450], [101, 16, 458], [104, 16, 467], [107, 17, 474],
                     [110, 17, 482], [113, 17, 490], [115, 18, 499], [117, 18, 508], [119, 18, 515], [120, 18, 522],
                     [121, 19, 530], [122, 19, 538], [123, 19, 546], [124, 19, 570], [125, 19, 586], [126, 19, 603],
                     [127, 19, 650], [128, 19, 666], [129, 19, 690], [130, 19, 786], [131, 19, 794], [132, 20, 809],
                     [133, 20, 834], [134, 20, 850], [135, 20, 857], [136, 21, 897], [136, 21, 1257]],
               133: [[-28, -39, 0], [0, 0, 0], [1, 0, 5], [2, 0, 12], [3, 0, 20], [5, 0, 29], [7, 0, 36], [9, 0, 45],
                     [10, 0, 52], [13, 0, 62], [16, 0, 68], [19, 0, 77], [22, 1, 85], [25, 1, 92], [28, 2, 100],
                     [31, 2, 108], [33, 3, 116], [36, 3, 125], [39, 3, 132], [43, 5, 141], [47, 6, 148], [52, 6, 156],
                     [57, 6, 164], [63, 7, 172], [68, 8, 180], [73, 8, 188], [77, 8, 196], [80, 8, 204], [83, 8, 212],
                     [86, 8, 220], [89, 8, 229], [90, 8, 236], [94, 9, 244], [96, 9, 252], [98, 9, 261], [100, 9, 268],
                     [101, 9, 275], [103, 9, 283], [104, 9, 291], [106, 9, 299], [107, 9, 316], [109, 9, 332],
                     [110, 10, 356], [112, 10, 371], [113, 10, 379], [116, 10, 396], [117, 10, 403], [118, 10, 411],
                     [119, 10, 428], [120, 10, 460], [121, 10, 476], [122, 10, 483], [123, 10, 491], [123, 11, 499],
                     [124, 11, 508], [125, 11, 540], [127, 11, 595], [128, 12, 796], [131, 12, 820], [132, 13, 846],
                     [133, 13, 868], [133, 13, 1187]],
               109: [[-34, -32, 0], [0, 0, 0], [0, 0, 100], [2, 0, 103], [4, 0, 111], [5, 0, 120], [7, 0, 126],
                     [10, 0, 134], [13, 0, 141], [15, 0, 149], [19, 0, 157], [22, 0, 165], [25, 0, 173], [28, 0, 181],
                     [31, 0, 189], [32, 0, 198], [36, 0, 205], [38, 0, 212], [42, 0, 221], [43, 0, 228], [45, 0, 236],
                     [47, 0, 244], [49, 0, 254], [51, 0, 260], [53, 0, 270], [56, 0, 276], [57, 1, 283], [59, 1, 292],
                     [61, 1, 299], [63, 1, 307], [65, 1, 315], [67, 2, 323], [68, 2, 331], [69, 2, 339], [70, 2, 347],
                     [72, 2, 355], [73, 3, 363], [74, 3, 371], [75, 3, 378], [76, 3, 387], [77, 3, 394], [78, 3, 404],
                     [79, 3, 410], [80, 4, 421], [82, 4, 426], [83, 4, 437], [84, 4, 441], [85, 4, 449], [87, 4, 457],
                     [88, 5, 465], [89, 5, 473], [90, 5, 481], [92, 5, 489], [93, 5, 497], [94, 6, 505], [95, 6, 513],
                     [96, 6, 521], [97, 6, 529], [98, 7, 538], [99, 7, 544], [99, 7, 554], [100, 7, 560], [101, 7, 571],
                     [101, 7, 576], [101, 8, 584], [102, 8, 593], [102, 8, 600], [103, 8, 608], [103, 8, 615],
                     [103, 8, 624], [104, 8, 632], [104, 8, 639], [104, 8, 655], [104, 8, 705], [105, 8, 802],
                     [105, 8, 865], [105, 8, 877], [105, 8, 889], [106, 8, 893], [106, 8, 902], [107, 8, 908],
                     [108, 8, 916], [108, 9, 924], [109, 9, 932], [110, 9, 940], [110, 9, 948], [111, 9, 956],
                     [111, 9, 964], [111, 9, 972], [111, 9, 979], [112, 9, 989], [112, 9, 1037], [112, 9, 1271],
                     [111, 9, 1279], [111, 9, 1295], [111, 9, 1306], [111, 9, 1323], [110, 9, 1335], [110, 9, 1343],
                     [110, 9, 1358], [110, 9, 1375], [109, 9, 1398], [109, 9, 1413], [109, 9, 1438], [109, 9, 1471],
                     [109, 9, 1733]],
               153: [[-40, -39, 0], [0, 0, 0], [0, 0, 152], [1, 0, 162], [2, 0, 166], [4, 0, 174], [6, 0, 181],
                     [8, 0, 189], [11, 0, 198], [15, 0, 205], [18, 0, 213], [23, 0, 221], [27, 0, 229], [33, 0, 237],
                     [39, 0, 245], [44, 0, 252], [50, 1, 261], [57, 1, 268], [62, 2, 278], [68, 2, 284], [74, 2, 294],
                     [80, 3, 300], [85, 3, 310], [90, 4, 316], [94, 4, 324], [98, 5, 331], [101, 5, 339], [104, 5, 347],
                     [107, 6, 355], [112, 6, 363], [114, 6, 372], [117, 7, 379], [119, 7, 387], [121, 8, 395],
                     [123, 8, 403], [125, 8, 411], [127, 8, 418], [129, 9, 427], [130, 9, 435], [132, 9, 444],
                     [133, 9, 450], [134, 9, 460], [135, 10, 467], [136, 10, 474], [137, 10, 482], [138, 10, 490],
                     [138, 10, 498], [139, 10, 506], [139, 11, 514], [140, 11, 522], [140, 11, 529], [141, 11, 537],
                     [141, 11, 545], [141, 11, 553], [141, 11, 561], [142, 11, 568], [142, 11, 689], [143, 11, 697],
                     [143, 11, 703], [144, 12, 712], [145, 12, 719], [146, 12, 729], [147, 12, 735], [148, 13, 744],
                     [149, 13, 751], [149, 13, 758], [150, 14, 767], [150, 14, 775], [150, 14, 782], [150, 14, 790],
                     [151, 14, 798], [151, 14, 806], [151, 14, 814], [151, 14, 1575], [152, 14, 1598], [152, 14, 1604],
                     [152, 14, 1640], [152, 14, 1680], [152, 15, 1712], [152, 15, 1724], [152, 15, 1759],
                     [153, 15, 1806], [153, 15, 1844], [153, 15, 1972]],
               71: [[-35, -17, 0], [0, 0, 0], [2, 0, 29], [3, 0, 35], [4, 0, 51], [5, 0, 68], [6, 0, 84], [7, 0, 100],
                    [8, 0, 108], [9, 0, 116], [11, 0, 124], [14, -1, 132], [16, -1, 140], [17, -1, 149], [19, -1, 156],
                    [22, -1, 164], [24, -1, 172], [26, -1, 180], [28, -1, 187], [30, -1, 196], [32, -1, 202],
                    [34, -1, 210], [36, -1, 219], [37, -1, 226], [40, -1, 233], [42, -1, 242], [43, -1, 250],
                    [44, -1, 258], [45, -1, 266], [46, -1, 282], [47, -1, 290], [48, -1, 306], [49, -1, 314],
                    [50, -1, 322], [51, -1, 330], [53, -1, 347], [54, -1, 371], [55, -1, 378], [56, -1, 395],
                    [57, -1, 410], [58, -1, 418], [59, 0, 426], [60, 0, 442], [61, 0, 450], [63, 0, 459], [63, 1, 467],
                    [64, 1, 475], [65, 2, 491], [66, 3, 530], [67, 3, 570], [69, 3, 594], [70, 3, 634], [71, 4, 666],
                    [71, 4, 1019]],
               108: [[-37, -39, 0], [0, 0, 0], [1, 0, 16], [2, 0, 32], [3, 1, 39], [5, 1, 48], [6, 2, 56], [9, 4, 65],
                     [14, 4, 72], [18, 5, 81], [21, 7, 88], [26, 8, 97], [29, 8, 104], [33, 9, 111], [38, 9, 120],
                     [44, 11, 130], [50, 12, 136], [56, 12, 144], [63, 13, 152], [68, 13, 160], [76, 13, 168],
                     [81, 13, 176], [87, 13, 184], [91, 13, 191], [95, 13, 200], [99, 13, 208], [102, 13, 216],
                     [104, 13, 224], [105, 13, 232], [106, 13, 248], [107, 13, 272], [108, 13, 328], [108, 13, 936]],
               166: [[-23, -20, 0], [0, 0, 0], [0, 0, 145], [2, 0, 153], [10, 0, 172], [18, 0, 187], [35, 0, 201],
                     [52, 0, 215], [64, 0, 232], [87, 0, 249], [101, 0, 266], [118, 0, 282], [126, 0, 285],
                     [134, 0, 300], [141, 0, 301], [149, 0, 317], [156, 0, 317], [167, 0, 333], [174, 0, 350],
                     [179, 0, 369], [182, 0, 386], [183, 0, 402], [184, 0, 417], [184, 0, 432], [184, 0, 593],
                     [184, 0, 601], [183, 0, 618], [182, 0, 634], [181, 1, 650], [179, 1, 667], [177, 1, 683],
                     [176, 2, 700], [175, 2, 718], [174, 2, 734], [174, 2, 751], [173, 2, 767], [173, 3, 783],
                     [173, 3, 791], [173, 3, 823], [173, 3, 854], [172, 3, 883], [172, 3, 900], [172, 3, 925],
                     [172, 3, 933], [171, 3, 950], [169, 3, 969], [167, 3, 985], [166, 3, 1000], [164, 3, 1019],
                     [164, 3, 1035], [164, 3, 1050], [164, 3, 1369], [164, 3, 1409], [164, 3, 1439], [165, 3, 1469],
                     [165, 3, 1502], [165, 3, 1551], [165, 3, 1590], [166, 3, 1638], [166, 3, 1676], [166, 3, 1847]],
               119: [[-38, -12, 0], [0, 0, 0], [1, 0, 36], [2, 0, 43], [4, 0, 51], [6, 0, 59], [10, 0, 67], [12, 0, 75],
                     [15, -1, 83], [17, -1, 91], [21, -1, 99], [25, -1, 108], [30, -1, 115], [32, -1, 124],
                     [36, -1, 131], [42, -1, 139], [45, -1, 147], [48, -1, 156], [50, -1, 163], [52, -1, 172],
                     [53, -1, 179], [56, -1, 188], [57, -1, 195], [59, -1, 204], [61, -2, 221], [64, -2, 228],
                     [65, -2, 235], [66, -2, 244], [68, -2, 252], [69, -2, 259], [71, -2, 268], [72, -2, 275],
                     [74, -2, 283], [75, -2, 291], [78, -2, 300], [80, -2, 307], [82, -2, 315], [83, -2, 323],
                     [86, -2, 332], [88, -2, 340], [89, -2, 347], [90, -2, 356], [92, -2, 364], [93, -2, 372],
                     [95, -2, 379], [96, -2, 395], [98, -4, 404], [100, -4, 420], [101, -4, 427], [102, -4, 444],
                     [103, -4, 452], [104, -4, 459], [105, -4, 484], [107, -4, 507], [108, -4, 523], [110, -4, 531],
                     [111, -4, 547], [113, -4, 571], [114, -4, 596], [116, -4, 827], [117, -4, 851], [119, -4, 875],
                     [119, -4, 1178]],
               73: [[-34, -28, 0], [0, 0, 0], [1, 0, 12], [5, 0, 24], [9, 0, 33], [12, 0, 41], [22, 0, 51], [29, 2, 55],
                    [32, 2, 63], [37, 3, 71], [44, 4, 79], [48, 4, 87], [54, 5, 96], [58, 5, 103], [64, 7, 113],
                    [66, 7, 119], [70, 8, 129], [73, 8, 135], [75, 8, 143], [77, 8, 151], [79, 8, 160], [81, 8, 167],
                    [82, 8, 176], [83, 8, 183], [84, 8, 192], [85, 8, 199], [86, 8, 207], [87, 8, 215], [88, 9, 231],
                    [89, 9, 239], [90, 9, 247], [92, 10, 271], [93, 11, 295], [91, 11, 508], [90, 11, 516],
                    [88, 11, 527], [87, 11, 539], [85, 11, 555], [84, 11, 563], [83, 11, 579], [82, 11, 591],
                    [81, 11, 597], [80, 11, 611], [79, 11, 621], [78, 11, 632], [76, 11, 647], [75, 11, 808],
                    [73, 11, 965], [73, 11, 1390]],
               96: [[-41, -51, 0], [0, 0, 0], [1, 0, 34], [3, 1, 40], [6, 1, 50], [8, 2, 55], [10, 2, 60], [13, 4, 69],
                    [16, 5, 75], [18, 5, 82], [21, 6, 89], [26, 6, 97], [32, 8, 105], [37, 8, 114], [44, 9, 121],
                    [51, 9, 130], [56, 10, 137], [63, 11, 147], [67, 13, 153], [69, 13, 161], [72, 14, 169],
                    [74, 14, 193], [75, 14, 209], [76, 14, 250], [77, 14, 265], [78, 14, 282], [80, 14, 314],
                    [81, 14, 321], [82, 15, 337], [83, 15, 343], [84, 15, 351], [86, 15, 360], [87, 15, 376],
                    [88, 15, 408], [89, 15, 487], [90, 15, 519], [91, 15, 551], [92, 15, 567], [93, 16, 592],
                    [94, 16, 679], [95, 16, 704], [96, 16, 736], [96, 16, 1111]],
               162: [[-33, -45, 0], [0, 0, 0], [1, 1, 42], [4, 1, 58], [7, 1, 65], [11, 1, 74], [14, 1, 82],
                     [17, 1, 90], [20, 1, 97], [23, 1, 106], [26, 2, 114], [29, 2, 122], [31, 3, 130], [35, 3, 138],
                     [38, 3, 145], [41, 3, 154], [45, 3, 162], [50, 3, 170], [54, 3, 178], [58, 3, 186], [61, 3, 194],
                     [65, 3, 202], [66, 3, 210], [69, 3, 217], [72, 3, 225], [75, 3, 233], [77, 3, 241], [79, 3, 249],
                     [80, 3, 257], [82, 3, 266], [84, 3, 274], [85, 3, 283], [86, 3, 289], [87, 3, 298], [89, 3, 305],
                     [90, 3, 322], [92, 3, 329], [94, 3, 346], [96, 3, 354], [98, 3, 362], [99, 3, 370], [102, 3, 377],
                     [103, 3, 386], [105, 3, 393], [107, 3, 401], [109, 3, 409], [110, 3, 418], [112, 3, 426],
                     [114, 3, 434], [116, 3, 441], [119, 3, 450], [120, 3, 458], [121, 3, 466], [122, 3, 474],
                     [124, 3, 482], [126, 3, 490], [128, 3, 505], [129, 3, 513], [130, 3, 521], [132, 3, 530],
                     [133, 3, 537], [134, 3, 546], [135, 3, 553], [136, 3, 562], [137, 3, 569], [138, 3, 578],
                     [139, 3, 601], [141, 3, 635], [141, 4, 643], [142, 4, 651], [144, 4, 675], [145, 4, 691],
                     [147, 4, 707], [149, 4, 715], [150, 4, 722], [151, 4, 731], [152, 4, 738], [153, 4, 747],
                     [154, 4, 755], [155, 4, 763], [156, 4, 772], [157, 4, 794], [158, 4, 801], [159, 4, 810],
                     [160, 4, 826], [161, 4, 833], [162, 4, 851], [162, 4, 1330]],
               81: [[-35, -25, 0], [0, 0, 0], [1, 0, 67], [3, 0, 76], [5, 0, 83], [9, 0, 92], [15, 0, 99], [21, 0, 104],
                    [28, 0, 112], [36, 1, 120], [42, 1, 128], [49, 1, 136], [55, 1, 144], [61, 1, 152], [65, 1, 160],
                    [67, 1, 168], [69, 1, 176], [71, 2, 184], [72, 2, 192], [74, 2, 208], [75, 2, 248], [76, 2, 296],
                    [77, 2, 312], [78, 2, 328], [80, 3, 344], [81, 3, 352], [81, 3, 904]],
               78: [[-47, -32, 0], [0, 0, 0], [1, 0, 82], [3, 0, 97], [5, 0, 106], [8, 1, 117], [11, 1, 121],
                    [14, 2, 125], [16, 2, 133], [20, 2, 140], [24, 2, 148], [27, 2, 155], [31, 2, 164], [34, 2, 172],
                    [37, 3, 179], [39, 3, 186], [42, 5, 195], [45, 5, 202], [48, 5, 211], [51, 5, 219], [53, 5, 227],
                    [55, 6, 234], [58, 6, 243], [60, 7, 251], [61, 7, 259], [64, 7, 267], [65, 8, 275], [65, 8, 284],
                    [66, 8, 291], [69, 8, 301], [70, 8, 315], [72, 9, 323], [73, 9, 355], [75, 9, 387], [76, 10, 412],
                    [77, 10, 444], [78, 10, 451], [78, 10, 882]],
               59: [[-36, -26, 0], [0, 0, 0], [1, -1, 126], [4, -1, 136], [6, -1, 142], [7, -1, 152], [10, -1, 158],
                    [12, -1, 164], [14, -1, 169], [15, -1, 179], [19, -1, 188], [20, -1, 195], [22, -1, 200],
                    [24, -1, 206], [25, -1, 214], [27, -1, 222], [29, -1, 231], [31, -1, 238], [33, -1, 248],
                    [35, -1, 254], [36, -1, 262], [37, -1, 271], [39, -1, 279], [40, -1, 302], [41, -1, 311],
                    [42, -1, 318], [43, -1, 328], [44, -1, 334], [45, -1, 343], [46, -1, 366], [47, -1, 436],
                    [48, -1, 471], [49, -1, 495], [50, -1, 502], [51, -1, 543], [52, -1, 550], [53, -1, 558],
                    [54, -1, 591], [55, -1, 607], [56, -1, 615], [57, -1, 631], [58, -1, 648], [59, -1, 654],
                    [59, -1, 1150]],
               176: [[-35, -33, 0], [0, 0, 0], [0, -1, 56], [1, -1, 84], [2, -1, 92], [3, 0, 99], [6, 0, 103],
                     [9, 1, 111], [11, 1, 116], [15, 1, 122], [22, 1, 131], [30, 1, 139], [38, 1, 147], [48, 1, 155],
                     [60, 1, 161], [70, 1, 168], [80, 1, 177], [92, 1, 184], [103, 4, 194], [114, 4, 200],
                     [123, 5, 210], [133, 5, 217], [139, 6, 225], [146, 6, 233], [150, 6, 241], [156, 6, 248],
                     [158, 6, 257], [160, 6, 265], [162, 6, 273], [163, 6, 280], [166, 6, 289], [167, 6, 305],
                     [169, 6, 312], [170, 6, 321], [172, 6, 328], [173, 6, 336], [174, 6, 344], [175, 6, 352],
                     [176, 6, 360], [177, 6, 368], [180, 8, 376], [182, 8, 400], [183, 8, 409], [185, 8, 424],
                     [184, 8, 765], [183, 8, 774], [182, 8, 790], [181, 8, 794], [180, 8, 810], [179, 8, 849],
                     [178, 8, 890], [177, 8, 930], [176, 8, 1123], [176, 8, 1375]],
               182: [[-41, -20, 0], [0, 0, 0], [1, 0, 137], [2, 0, 145], [3, 0, 151], [6, 0, 161], [8, 0, 167],
                     [12, 0, 177], [15, 0, 183], [20, 0, 191], [24, 0, 202], [28, 0, 206], [32, 0, 214], [38, 0, 222],
                     [43, 0, 237], [49, 0, 237], [55, 0, 245], [60, 0, 254], [65, 0, 263], [69, 0, 271], [74, 0, 278],
                     [79, 0, 286], [84, 0, 296], [88, 0, 303], [92, 0, 309], [94, 0, 317], [96, 0, 326], [99, 0, 333],
                     [102, 0, 341], [105, 0, 348], [107, 0, 357], [108, 0, 365], [110, 1, 372], [112, 1, 380],
                     [113, 1, 388], [115, 1, 396], [117, 1, 404], [119, 1, 412], [120, 2, 420], [122, 2, 428],
                     [124, 2, 436], [126, 3, 445], [127, 3, 451], [128, 3, 462], [130, 3, 467], [132, 3, 475],
                     [133, 3, 483], [134, 4, 491], [135, 4, 499], [136, 4, 507], [137, 4, 515], [138, 4, 524],
                     [139, 4, 531], [140, 4, 540], [140, 5, 546], [141, 5, 554], [142, 5, 562], [143, 5, 570],
                     [144, 5, 579], [145, 5, 586], [146, 5, 595], [147, 6, 602], [148, 6, 612], [150, 6, 617],
                     [151, 6, 626], [152, 6, 633], [153, 6, 641], [154, 6, 649], [154, 6, 656], [155, 7, 664],
                     [156, 7, 673], [157, 7, 680], [157, 7, 689], [158, 7, 696], [159, 7, 705], [160, 7, 712],
                     [160, 8, 720], [161, 8, 729], [162, 8, 736], [163, 8, 745], [163, 8, 751], [164, 8, 759],
                     [164, 8, 767], [165, 8, 775], [166, 8, 783], [166, 8, 791], [167, 8, 798], [167, 8, 808],
                     [168, 8, 815], [169, 9, 824], [169, 9, 831], [170, 9, 838], [170, 9, 846], [171, 9, 854],
                     [171, 9, 863], [171, 9, 871], [171, 9, 879], [172, 9, 886], [172, 9, 941], [172, 9, 965],
                     [172, 9, 973], [172, 9, 981], [173, 9, 988], [173, 9, 996], [174, 9, 1005], [176, 9, 1013],
                     [177, 9, 1022], [178, 9, 1029], [178, 9, 1038], [179, 9, 1046], [180, 9, 1052], [181, 9, 1060],
                     [181, 9, 1067], [181, 9, 1076], [182, 9, 1083], [182, 9, 1092], [182, 9, 1099], [182, 9, 1628]],
               142: [[-36, -43, 0], [0, 0, 0], [0, 1, 19], [0, 3, 31], [1, 3, 38], [2, 3, 49], [4, 3, 54], [5, 3, 66],
                     [8, 3, 74], [11, 4, 83], [12, 4, 90], [14, 4, 98], [16, 4, 108], [19, 5, 114], [23, 5, 124],
                     [26, 5, 130], [30, 6, 138], [33, 6, 146], [38, 7, 154], [44, 7, 162], [50, 7, 171], [57, 7, 178],
                     [61, 7, 187], [65, 7, 194], [68, 7, 202], [70, 7, 210], [74, 7, 219], [77, 7, 226], [80, 7, 235],
                     [83, 7, 242], [85, 7, 250], [88, 7, 259], [90, 7, 267], [92, 7, 274], [95, 8, 283], [98, 8, 290],
                     [100, 8, 299], [102, 8, 307], [105, 8, 315], [109, 8, 324], [111, 8, 330], [115, 8, 341],
                     [119, 8, 347], [122, 8, 354], [125, 8, 362], [128, 8, 370], [129, 8, 378], [130, 8, 394],
                     [131, 8, 499], [132, 8, 508], [133, 8, 524], [135, 8, 530], [136, 8, 547], [137, 8, 554],
                     [138, 8, 563], [139, 8, 587], [140, 8, 603], [141, 8, 989], [142, 8, 1089], [142, 8, 1433]],
               149: [[-26, -44, 0], [0, 0, 0], [2, 0, 62], [3, 0, 70], [4, 0, 76], [5, 0, 84], [6, 0, 91], [9, 0, 97],
                     [10, 0, 105], [12, 0, 122], [14, 0, 130], [16, 0, 138], [18, 0, 148], [20, 0, 156], [23, 0, 163],
                     [26, 0, 172], [28, 0, 182], [31, 0, 190], [35, 0, 200], [41, 0, 205], [47, 0, 210], [53, 0, 217],
                     [64, 0, 236], [76, 0, 249], [91, 0, 280], [93, 0, 288], [95, 0, 296], [96, 0, 304], [99, 0, 321],
                     [102, 0, 328], [103, 0, 336], [105, 0, 344], [108, 0, 352], [110, 0, 360], [113, 0, 368],
                     [116, 0, 376], [120, 0, 384], [123, 0, 392], [125, 0, 401], [128, 0, 409], [130, 0, 417],
                     [132, 0, 424], [133, 0, 440], [134, 0, 449], [135, 0, 457], [136, 0, 496], [138, 0, 512],
                     [139, 0, 536], [140, 0, 553], [141, 0, 560], [142, 0, 576], [143, 0, 584], [144, 0, 592],
                     [145, 0, 600], [146, 0, 608], [147, 0, 616], [148, 0, 632], [149, 0, 649], [149, 0, 1088]],
               58: [[-41, -32, 0], [0, 0, 0], [1, 0, 97], [3, 0, 243], [54, -2, 249], [55, -2, 262], [56, -2, 278],
                    [57, -2, 309], [58, -2, 326], [59, -2, 341], [60, -2, 348], [61, -2, 357], [62, -2, 364],
                    [63, -2, 373], [64, -2, 381], [65, -2, 397], [66, -2, 454], [67, -2, 464], [68, -2, 480],
                    [70, -1, 496], [71, -1, 511], [72, -1, 517], [72, 0, 786], [71, 0, 795], [69, 0, 808], [68, 0, 821],
                    [67, 1, 838], [66, 1, 845], [65, 1, 855], [64, 1, 869], [63, 1, 894], [62, 1, 917], [61, 1, 925],
                    [60, 1, 941], [59, 1, 965], [58, 1, 973], [58, 1, 1371]],
               118: [[-24, -38, 0], [0, 0, 0], [3, 0, 47], [6, 0, 56], [8, 0, 64], [11, 0, 72], [15, 0, 79],
                     [18, 0, 88], [21, 0, 95], [22, 0, 104], [26, 0, 111], [29, 0, 120], [34, 2, 127], [39, 2, 136],
                     [43, 2, 143], [48, 2, 152], [55, 2, 159], [61, 2, 168], [65, 2, 176], [68, 4, 184], [73, 5, 191],
                     [77, 5, 200], [79, 5, 209], [81, 5, 216], [84, 5, 224], [87, 5, 232], [88, 5, 240], [89, 5, 256],
                     [90, 5, 263], [91, 5, 280], [92, 6, 312], [93, 6, 320], [94, 6, 336], [95, 6, 343], [96, 6, 352],
                     [97, 6, 368], [98, 7, 376], [99, 7, 384], [100, 7, 391], [102, 7, 400], [103, 8, 409],
                     [104, 8, 415], [105, 8, 424], [106, 8, 432], [107, 8, 448], [109, 8, 456], [110, 8, 481],
                     [111, 8, 489], [112, 8, 497], [113, 8, 505], [114, 8, 513], [115, 8, 521], [116, 8, 529],
                     [117, 8, 536], [118, 8, 545], [118, 8, 984]],
               98: [[-28, -33, 0], [0, 0, 0], [1, 0, 5], [2, 0, 22], [4, 0, 39], [5, 0, 46], [7, 0, 58], [8, 0, 70],
                    [10, 0, 77], [12, 0, 85], [14, 0, 92], [15, 0, 101], [17, 0, 108], [20, 0, 116], [22, 0, 125],
                    [25, 0, 132], [28, 0, 141], [30, 0, 149], [33, 0, 156], [35, -1, 165], [37, -1, 173], [39, -1, 181],
                    [41, -2, 188], [43, -2, 196], [44, -2, 204], [45, -2, 212], [46, -2, 220], [47, -2, 236],
                    [48, -2, 244], [49, -2, 253], [50, -2, 261], [51, -2, 269], [52, -2, 276], [53, -2, 286],
                    [55, -2, 293], [56, -2, 301], [58, -2, 309], [60, -2, 316], [62, -2, 324], [63, -2, 333],
                    [65, -2, 341], [67, -2, 348], [68, -2, 356], [69, -2, 365], [71, -2, 373], [72, -2, 380],
                    [74, -2, 388], [75, -2, 396], [77, -2, 412], [78, -2, 428], [79, -2, 445], [80, -2, 460],
                    [81, -2, 469], [82, -2, 484], [83, -2, 501], [84, -2, 540], [85, -2, 583], [86, -2, 605],
                    [87, -2, 677], [88, -1, 709], [89, -1, 717], [90, -1, 750], [91, -1, 758], [92, -1, 767],
                    [93, 0, 790], [94, 0, 821], [95, 0, 828], [97, 1, 852], [98, 1, 941], [98, 1, 1324]],
               104: [[-40, -38, 0], [0, 0, 0], [0, 1, 53], [1, 1, 68], [2, 2, 81], [2, 3, 89], [3, 3, 97], [4, 3, 106],
                     [5, 3, 114], [6, 4, 121], [8, 5, 130], [10, 5, 137], [11, 6, 145], [12, 6, 153], [14, 7, 160],
                     [17, 7, 167], [18, 7, 175], [20, 7, 183], [22, 7, 192], [24, 7, 199], [27, 9, 208], [29, 9, 215],
                     [32, 10, 225], [33, 10, 231], [35, 10, 239], [37, 10, 247], [39, 10, 255], [42, 10, 263],
                     [43, 10, 271], [45, 10, 279], [48, 10, 287], [51, 10, 295], [55, 10, 304], [58, 10, 311],
                     [62, 10, 319], [65, 10, 327], [69, 10, 335], [73, 10, 344], [75, 10, 351], [78, 10, 359],
                     [80, 10, 367], [82, 10, 383], [83, 10, 391], [84, 10, 407], [85, 10, 415], [86, 10, 424],
                     [87, 10, 447], [88, 10, 455], [89, 10, 463], [90, 10, 479], [92, 10, 487], [94, 11, 503],
                     [96, 11, 511], [97, 12, 520], [98, 12, 527], [99, 12, 535], [101, 12, 875], [102, 12, 888],
                     [102, 13, 907], [104, 13, 915], [104, 13, 1247]],
               154: [[-47, -28, 0], [0, 0, 0], [-1, 0, 71], [-1, 1, 131], [-1, 2, 139], [1, 3, 154], [3, 4, 163],
                     [6, 5, 174], [9, 6, 181], [13, 6, 187], [15, 7, 194], [17, 7, 199], [20, 8, 207], [25, 8, 216],
                     [28, 9, 222], [31, 9, 232], [35, 9, 238], [40, 9, 246], [43, 9, 254], [47, 9, 262], [53, 9, 270],
                     [57, 9, 278], [61, 9, 286], [65, 9, 294], [68, 9, 302], [73, 9, 310], [78, 9, 318], [83, 9, 326],
                     [90, 9, 334], [94, 10, 342], [98, 10, 350], [102, 10, 358], [106, 10, 366], [111, 10, 374],
                     [113, 10, 382], [116, 10, 390], [119, 10, 398], [122, 10, 406], [124, 10, 415], [127, 10, 422],
                     [129, 10, 432], [131, 10, 438], [133, 10, 448], [136, 10, 454], [137, 10, 462], [138, 10, 470],
                     [139, 10, 478], [140, 10, 487], [141, 10, 502], [142, 10, 518], [143, 10, 542], [144, 10, 766],
                     [145, 10, 774], [146, 10, 782], [147, 10, 807], [148, 10, 815], [149, 10, 822], [150, 10, 838],
                     [150, 11, 855], [151, 11, 1007], [152, 11, 1057], [153, 11, 1065], [154, 11, 1073],
                     [154, 12, 1080], [154, 12, 2526]],
               69: [[-31, -36, 0], [0, 0, 0], [0, 0, 190], [1, 0, 198], [7, 0, 233], [16, 0, 263], [24, 0, 293],
                    [30, 0, 322], [36, -1, 351], [42, -2, 386], [49, -3, 415], [54, -5, 446], [56, -5, 478],
                    [58, -6, 509], [60, -6, 543], [62, -7, 575], [63, -7, 577], [66, -7, 608], [67, -7, 609],
                    [69, -8, 642], [70, -8, 672], [70, -8, 926], [70, -8, 1188], [69, -8, 1218], [69, -8, 1250]],
               92: [[-31, -23, 0], [0, 0, 0], [1, 1, 8], [2, 2, 15], [4, 3, 20], [6, 3, 36], [8, 5, 44], [11, 6, 51],
                    [12, 6, 60], [15, 6, 68], [18, 7, 75], [22, 9, 83], [26, 10, 91], [30, 10, 99], [33, 10, 107],
                    [39, 10, 114], [44, 11, 123], [50, 11, 130], [55, 13, 139], [62, 14, 147], [67, 15, 154],
                    [71, 15, 162], [75, 15, 171], [78, 16, 178], [79, 16, 187], [82, 16, 195], [84, 16, 202],
                    [87, 16, 212], [89, 16, 227], [90, 16, 234], [92, 16, 250], [93, 16, 259], [95, 16, 275],
                    [96, 16, 291], [98, 16, 307], [99, 16, 324], [100, 16, 354], [101, 16, 378], [100, 16, 658],
                    [99, 16, 666], [98, 16, 675], [96, 16, 682], [95, 16, 698], [94, 16, 780], [93, 16, 819],
                    [92, 16, 877], [92, 16, 1186]],
               111: [[-44, -29, 0], [0, 0, 0], [1, 0, 34], [2, 0, 43], [4, 0, 51], [7, 0, 60], [9, 0, 67], [11, 0, 76],
                     [13, 0, 82], [15, 0, 87], [16, 0, 95], [18, 0, 108], [19, 0, 116], [21, 0, 123], [22, 0, 132],
                     [24, 0, 139], [26, 0, 147], [28, 0, 155], [31, 0, 164], [33, 0, 171], [37, 0, 180], [40, 0, 187],
                     [45, 0, 195], [52, 0, 205], [56, 0, 211], [60, 0, 221], [65, 0, 227], [68, 0, 235], [72, 0, 243],
                     [74, 0, 251], [77, 0, 259], [80, 0, 267], [81, 0, 275], [84, 0, 284], [85, 0, 291], [87, 0, 299],
                     [88, 0, 316], [89, 0, 331], [90, 0, 339], [91, 0, 355], [93, 0, 363], [95, 0, 380], [97, 2, 387],
                     [99, 2, 403], [100, 2, 411], [101, 2, 421], [103, 2, 426], [103, 3, 437], [104, 3, 442],
                     [105, 3, 451], [106, 3, 475], [107, 3, 499], [108, 3, 639], [109, 3, 675], [110, 3, 692],
                     [111, 3, 701], [111, 3, 1035]],
               99: [[-25, -20, 0], [0, 0, 0], [1, 0, 55], [5, 0, 63], [8, -1, 72], [9, -1, 79], [13, -3, 88],
                    [15, -3, 95], [17, -3, 103], [20, -3, 111], [22, -3, 119], [24, -3, 127], [26, -3, 135],
                    [27, -3, 143], [30, -3, 152], [33, -3, 159], [35, -3, 168], [38, -3, 176], [40, -3, 183],
                    [42, -3, 191], [44, -3, 199], [45, -3, 208], [47, -3, 215], [49, -3, 224], [51, -3, 232],
                    [54, -3, 240], [55, -3, 247], [57, -3, 255], [59, -3, 264], [62, -3, 272], [63, -3, 279],
                    [64, -3, 288], [65, -3, 295], [65, -3, 303], [67, -3, 311], [68, -3, 319], [70, -3, 327],
                    [72, -3, 336], [74, -3, 344], [77, -3, 359], [78, -3, 367], [80, -3, 376], [81, -3, 384],
                    [83, -3, 391], [84, -3, 399], [85, -2, 407], [86, -2, 415], [87, -2, 431], [88, -2, 591],
                    [89, -2, 599], [90, -2, 607], [91, -2, 623], [92, -2, 639], [93, -2, 655], [94, -2, 663],
                    [95, -2, 679], [96, -2, 1184], [98, -2, 1208], [99, -2, 1498], [99, -2, 1696]],
               152: [[-31, -31, 0], [0, 0, 0], [1, 0, 146], [3, 0, 154], [18, 0, 185], [33, 0, 211], [49, 0, 236],
                     [65, 0, 260], [77, 0, 286], [91, 0, 312], [95, 0, 314], [107, 0, 340], [118, -1, 366],
                     [121, -1, 367], [129, -2, 394], [136, -3, 420], [141, -3, 446], [142, -4, 447], [144, -4, 473],
                     [145, -4, 499], [145, -4, 527], [146, -4, 556], [146, -4, 557], [147, -4, 585], [150, -5, 614],
                     [151, -5, 640], [152, -5, 667], [152, -5, 668], [152, -5, 1093]],
               107: [[-31, -45, 0], [0, 0, 0], [3, 1, 89], [7, 1, 97], [10, 1, 107], [14, 1, 112], [17, 1, 119],
                     [21, 3, 126], [23, 3, 135], [26, 3, 141], [29, 3, 151], [33, 3, 157], [35, 3, 167], [38, 3, 173],
                     [40, 3, 182], [42, 3, 189], [45, 3, 198], [48, 3, 205], [51, 3, 214], [55, 3, 221], [59, 3, 230],
                     [63, 3, 237], [67, 3, 245], [70, 3, 253], [73, 3, 262], [76, 3, 269], [79, 4, 277], [81, 5, 293],
                     [82, 5, 301], [83, 5, 309], [84, 6, 317], [85, 6, 325], [86, 6, 334], [87, 6, 341], [88, 6, 349],
                     [89, 6, 357], [90, 6, 389], [91, 6, 397], [92, 6, 405], [93, 6, 413], [95, 6, 421], [97, 6, 429],
                     [98, 6, 438], [99, 6, 446], [101, 6, 453], [102, 6, 462], [103, 6, 469], [104, 6, 485],
                     [105, 6, 517], [107, 6, 751], [108, 6, 768], [109, 6, 783], [110, 6, 791], [111, 6, 992],
                     [112, 6, 1004], [113, 6, 1010], [111, 6, 1508], [110, 7, 1515], [108, 7, 1526], [107, 7, 1558],
                     [107, 7, 1965]],
               137: [[-39, -41, 0], [0, 0, 0], [3, 0, 81], [7, 0, 89], [10, 0, 97], [14, 0, 105], [18, 0, 112],
                     [22, 0, 120], [26, 0, 128], [30, 0, 136], [34, 0, 144], [39, 0, 153], [42, 0, 160], [47, 0, 169],
                     [51, 0, 177], [55, 0, 185], [59, 0, 192], [63, 0, 200], [65, 0, 209], [67, 0, 218], [70, 0, 225],
                     [73, 0, 233], [76, 0, 241], [80, 0, 249], [82, 0, 257], [85, 0, 265], [88, 0, 273], [91, 0, 281],
                     [93, 0, 289], [96, 0, 296], [97, 0, 305], [99, 0, 312], [100, 0, 321], [102, 0, 328],
                     [103, 0, 337], [105, 0, 352], [106, 0, 377], [108, 0, 402], [109, 0, 419], [110, 0, 433],
                     [111, 0, 441], [112, 0, 450], [113, 0, 482], [114, 0, 498], [115, 0, 506], [116, 0, 522],
                     [117, 0, 529], [118, 0, 538], [119, 0, 545], [120, 0, 554], [121, 0, 561], [122, 0, 578],
                     [123, 0, 593], [124, 0, 618], [125, 0, 625], [126, 0, 636], [127, 0, 652], [129, 0, 659],
                     [130, 0, 684], [131, 0, 740], [132, 0, 757], [133, 0, 1327], [134, 0, 1345], [135, 0, 1355],
                     [136, 0, 1717], [137, 0, 1740], [137, 0, 1977]],
               168: [[-36, -31, 0], [0, 0, 0], [2, 0, 68], [3, 1, 77], [4, 1, 83], [7, 3, 91], [9, 4, 100],
                     [10, 5, 107], [13, 6, 113], [14, 6, 122], [16, 6, 129], [17, 6, 138], [19, 6, 145], [21, 6, 153],
                     [24, 6, 161], [27, 6, 168], [29, 6, 177], [33, 6, 185], [37, 6, 193], [41, 6, 201], [48, 6, 209],
                     [54, 6, 216], [60, 6, 226], [66, 6, 233], [71, 6, 241], [76, 6, 249], [81, 6, 259], [85, 7, 265],
                     [88, 7, 275], [89, 7, 281], [91, 7, 289], [93, 7, 297], [95, 8, 306], [96, 8, 313], [98, 8, 322],
                     [100, 8, 329], [103, 8, 338], [105, 8, 345], [107, 8, 353], [109, 8, 362], [112, 8, 369],
                     [114, 9, 377], [116, 9, 385], [118, 10, 394], [121, 10, 401], [124, 10, 441], [133, 12, 443],
                     [135, 12, 449], [138, 13, 458], [139, 13, 465], [141, 13, 475], [142, 13, 482], [143, 13, 489],
                     [144, 13, 506], [145, 13, 521], [146, 13, 554], [147, 13, 561], [148, 13, 586], [149, 13, 593],
                     [150, 13, 601], [151, 13, 609], [152, 14, 617], [153, 14, 625], [155, 15, 642], [156, 15, 665],
                     [157, 15, 689], [157, 16, 709], [158, 16, 754], [159, 16, 761], [160, 16, 777], [161, 16, 793],
                     [162, 16, 800], [163, 17, 816], [164, 17, 832], [165, 17, 840], [167, 18, 864], [168, 18, 1040],
                     [168, 18, 1280]],
               170: [[-36, -32, 0], [0, 0, 0], [1, 0, 207], [3, 0, 214], [21, 0, 301], [57, 0, 310], [96, 0, 358],
                     [109, 0, 398], [128, 0, 439], [143, 0, 497], [153, 0, 531], [163, 0, 572], [170, -1, 612],
                     [174, -1, 653], [175, -1, 693], [175, -1, 1076], [174, -1, 1119], [174, -1, 1157], [173, -1, 1196],
                     [172, -1, 1235], [172, -1, 1273], [171, -1, 1311], [171, -1, 1351], [171, -1, 1352],
                     [170, -1, 1393], [170, -1, 1439], [170, -1, 1676]],
               150: [[-30, -41, 0], [0, 0, 0], [0, 1, 33], [2, 2, 41], [4, 2, 49], [6, 2, 56], [9, 2, 65], [12, 2, 73],
                     [15, 2, 80], [19, 2, 88], [23, 2, 96], [28, 3, 105], [32, 3, 113], [34, 3, 120], [38, 3, 128],
                     [41, 3, 137], [44, 3, 144], [45, 3, 153], [47, 3, 160], [50, 3, 169], [52, 3, 176], [55, 3, 185],
                     [58, 3, 192], [60, 3, 202], [63, 3, 208], [65, 3, 218], [66, 3, 224], [69, 3, 233], [72, 3, 241],
                     [74, 3, 249], [76, 3, 256], [79, 3, 264], [82, 3, 273], [84, 3, 280], [87, 3, 289], [90, 3, 297],
                     [91, 3, 305], [93, 3, 313], [94, 3, 321], [96, 3, 328], [98, 3, 337], [100, 3, 345], [101, 3, 353],
                     [103, 3, 361], [105, 3, 369], [107, 3, 377], [109, 3, 386], [112, 3, 393], [114, 3, 402],
                     [115, 3, 409], [118, 3, 417], [119, 3, 425], [120, 3, 441], [121, 3, 472], [122, 3, 489],
                     [123, 3, 513], [124, 3, 521], [125, 3, 537], [126, 3, 553], [127, 3, 561], [128, 3, 592],
                     [129, 3, 602], [130, 3, 618], [131, 3, 632], [132, 3, 641], [133, 3, 649], [134, 3, 673],
                     [135, 3, 689], [136, 3, 705], [137, 2, 737], [138, 2, 753], [139, 2, 761], [140, 2, 776],
                     [141, 2, 784], [142, 2, 792], [143, 2, 808], [144, 2, 824], [145, 2, 841], [146, 2, 961],
                     [147, 2, 993], [148, 2, 1105], [149, 2, 1153], [150, 2, 1185], [150, 2, 1488]],
               52: [[-31, -32, 0], [0, 0, 0], [0, 0, 154], [1, 0, 165], [8, 0, 209], [16, 0, 252], [24, 0, 294],
                    [25, 0, 295], [30, 0, 341], [33, 0, 385], [37, 0, 428], [37, 0, 431], [41, 0, 474], [43, 0, 521],
                    [44, 0, 565], [44, 0, 609], [46, 0, 654], [50, 0, 698], [50, 0, 700], [52, 0, 745], [52, 0, 1139]],
               148: [[-40, -38, 0], [0, 0, 0], [1, 0, 141], [3, 0, 149], [30, 0, 206], [49, 0, 233], [64, 0, 281],
                     [88, -2, 336], [108, -6, 408], [113, -7, 461], [117, -8, 535], [117, -9, 582], [118, -9, 641],
                     [127, -9, 701], [129, -10, 703], [136, -10, 768], [137, -10, 830], [137, -10, 1097],
                     [142, -10, 1148], [146, -10, 1194], [146, -10, 1243], [147, -10, 1630], [147, -10, 1638],
                     [147, -10, 1686], [147, -10, 1754], [148, -10, 1802], [148, -10, 1880], [148, -10, 1955]],
               144: [[-40, -41, 0], [0, 0, 0], [0, 0, 44], [1, 0, 155], [2, 0, 161], [4, 0, 168], [31, 0, 228],
                     [60, 0, 259], [86, 0, 296], [100, 0, 347], [118, 1, 401], [122, 1, 482], [133, 1, 531],
                     [138, 1, 582], [139, 1, 635], [139, 1, 705], [139, 1, 766], [139, 1, 817], [139, 1, 868],
                     [140, 1, 922], [145, 2, 976], [148, 2, 1029], [149, 2, 1080], [148, 2, 1345], [147, 2, 1401],
                     [146, 2, 1452], [146, 2, 1502], [146, 2, 1504], [145, 2, 1553], [145, 3, 1607], [144, 3, 1657],
                     [144, 3, 1710], [144, 3, 1781], [144, 3, 1845]],
               125: [[-47, -25, 0], [0, 0, 0], [0, -1, 64], [2, -1, 81], [5, -1, 88], [7, -1, 98], [11, -1, 105],
                     [16, -1, 113], [22, -1, 120], [30, -1, 129], [36, -1, 137], [45, -1, 145], [51, -1, 153],
                     [61, -1, 161], [68, -1, 169], [76, -1, 177], [84, -1, 185], [89, -1, 192], [94, -1, 200],
                     [99, -1, 208], [103, -1, 217], [106, -1, 225], [109, -1, 232], [110, -1, 241], [111, -1, 248],
                     [112, -1, 257], [113, -1, 265], [114, -1, 272], [115, -1, 281], [116, -1, 298], [117, -1, 305],
                     [118, -1, 314], [119, -1, 321], [121, -1, 328], [122, 0, 337], [123, 0, 345], [124, 0, 361],
                     [125, 0, 377], [126, 0, 409], [127, 0, 424], [126, 0, 962], [125, 0, 1168], [125, 0, 1513]],
               163: [[-39, -35, 0], [0, 0, 0], [1, 0, 41], [4, 0, 48], [6, 0, 57], [9, 0, 66], [13, 0, 72], [17, 0, 79],
                     [20, 0, 87], [25, 2, 95], [28, 2, 103], [32, 2, 111], [36, 2, 119], [40, 2, 129], [45, 2, 136],
                     [49, 2, 144], [55, 2, 151], [62, 2, 159], [67, 2, 167], [72, 2, 176], [77, 2, 183], [84, 2, 191],
                     [90, 2, 199], [95, 2, 207], [100, 2, 215], [104, 2, 223], [107, 2, 231], [110, 2, 239],
                     [112, 2, 248], [113, 3, 254], [114, 3, 262], [115, 3, 270], [116, 4, 278], [117, 4, 294],
                     [118, 4, 310], [119, 4, 318], [120, 4, 326], [122, 4, 343], [123, 4, 350], [124, 4, 358],
                     [125, 4, 366], [126, 4, 374], [127, 4, 382], [129, 4, 390], [130, 4, 398], [132, 4, 406],
                     [133, 4, 414], [135, 4, 422], [136, 4, 430], [138, 4, 439], [140, 4, 447], [142, 5, 456],
                     [143, 5, 463], [144, 5, 471], [145, 5, 479], [146, 5, 488], [147, 5, 503], [148, 5, 512],
                     [149, 6, 527], [150, 6, 535], [151, 6, 543], [152, 6, 559], [153, 6, 567], [155, 6, 575],
                     [156, 6, 591], [157, 6, 599], [158, 6, 607], [159, 7, 631], [160, 7, 663], [161, 7, 696],
                     [162, 7, 863], [163, 7, 887], [163, 7, 1262]],
               146: [[-42, -22, 0], [0, 0, 0], [0, 1, 51], [1, 1, 67], [3, 2, 70], [4, 2, 77], [5, 2, 85], [7, 4, 93],
                     [10, 4, 101], [14, 4, 110], [20, 4, 117], [25, 4, 125], [31, 4, 132], [40, 4, 141], [47, 4, 149],
                     [56, 4, 157], [65, 4, 163], [71, 4, 171], [78, 4, 179], [83, 4, 187], [90, 5, 195], [94, 5, 203],
                     [98, 5, 211], [102, 5, 219], [104, 5, 227], [106, 5, 235], [108, 5, 243], [109, 5, 251],
                     [111, 5, 259], [113, 5, 267], [115, 5, 275], [117, 5, 291], [119, 6, 299], [121, 6, 307],
                     [123, 6, 315], [125, 6, 323], [128, 6, 331], [130, 6, 339], [132, 6, 347], [135, 6, 355],
                     [136, 6, 363], [137, 6, 371], [138, 6, 387], [139, 6, 422], [140, 6, 662], [141, 6, 670],
                     [142, 6, 701], [143, 6, 836], [144, 6, 852], [145, 6, 868], [146, 6, 988], [146, 6, 1323]],
               76: [[-43, -46, 0], [0, 0, 0], [0, 1, 25], [1, 1, 31], [2, 1, 38], [3, 1, 45], [4, 1, 52], [5, 1, 59],
                    [6, 2, 67], [7, 2, 76], [9, 3, 83], [9, 4, 91], [10, 4, 99], [11, 4, 108], [12, 5, 115],
                    [15, 6, 124], [16, 6, 131], [18, 6, 147], [19, 7, 155], [20, 7, 163], [21, 7, 171], [22, 7, 195],
                    [24, 7, 228], [25, 7, 243], [27, 7, 254], [28, 7, 259], [30, 7, 267], [31, 7, 275], [34, 7, 282],
                    [35, 7, 299], [38, 7, 308], [39, 7, 325], [40, 7, 331], [41, 7, 347], [42, 7, 355], [44, 7, 363],
                    [45, 7, 374], [46, 7, 379], [47, 7, 387], [48, 7, 395], [49, 7, 403], [50, 7, 411], [51, 7, 420],
                    [52, 7, 427], [53, 7, 436], [55, 7, 452], [56, 7, 459], [58, 7, 476], [59, 7, 483], [60, 7, 500],
                    [61, 7, 507], [62, 7, 515], [63, 7, 524], [65, 7, 541], [65, 7, 547], [67, 7, 572], [68, 7, 700],
                    [69, 7, 733], [70, 7, 749], [71, 7, 773], [71, 8, 789], [72, 8, 853], [73, 8, 869], [74, 8, 970],
                    [75, 8, 992], [76, 8, 1046], [76, 8, 1362]],
               155: [[-30, -41, 0], [0, 0, 0], [1, 0, 49], [3, 0, 56], [4, 2, 65], [5, 2, 73], [8, 3, 81], [11, 4, 89],
                     [14, 5, 97], [17, 6, 105], [19, 7, 113], [23, 7, 121], [26, 7, 129], [30, 8, 137], [35, 10, 145],
                     [39, 10, 153], [43, 10, 163], [47, 10, 168], [53, 11, 178], [57, 11, 185], [62, 12, 192],
                     [65, 12, 200], [69, 12, 208], [73, 12, 216], [77, 12, 224], [81, 12, 232], [85, 12, 240],
                     [89, 12, 248], [94, 12, 256], [98, 12, 264], [101, 12, 272], [105, 12, 281], [108, 14, 288],
                     [111, 14, 296], [115, 14, 304], [119, 15, 313], [121, 15, 320], [126, 16, 329], [130, 16, 336],
                     [136, 16, 345], [141, 16, 352], [143, 16, 362], [147, 16, 368], [149, 16, 378], [150, 18, 384],
                     [152, 18, 400], [153, 18, 416], [155, 18, 432], [155, 18, 1064]],
               62: [[-41, -18, 0], [0, 0, 0], [3, 0, 20], [5, 0, 28], [8, 0, 36], [11, 0, 44], [15, 0, 52], [18, 0, 60],
                    [22, 0, 68], [24, 0, 76], [27, 1, 84], [30, 1, 92], [33, 1, 100], [35, 1, 108], [38, 1, 115],
                    [40, 1, 124], [41, 1, 133], [42, 1, 141], [43, 1, 148], [44, 1, 157], [45, 1, 173], [46, 1, 180],
                    [47, 1, 196], [48, 1, 213], [49, 1, 221], [50, 1, 244], [51, 2, 269], [52, 2, 287], [53, 2, 309],
                    [55, 2, 326], [56, 2, 341], [58, 2, 500], [59, 3, 508], [60, 3, 523], [61, 3, 531], [62, 4, 539],
                    [62, 4, 883]],
               127: [[-56, -41, 0], [0, 0, 0], [2, 0, 76], [5, 0, 89], [10, 0, 102], [17, 0, 115], [23, 0, 123],
                     [27, 0, 131], [33, 0, 136], [39, 0, 140], [44, 0, 146], [50, 0, 155], [56, 0, 162], [62, 0, 170],
                     [66, 0, 178], [72, 0, 186], [76, 0, 194], [82, 0, 202], [88, 0, 210], [91, 0, 219], [95, 0, 225],
                     [96, 0, 234], [98, 0, 241], [100, 0, 249], [101, 0, 274], [102, 0, 321], [103, 0, 353],
                     [104, 0, 401], [105, 0, 409], [106, 0, 425], [108, 0, 433], [110, 0, 449], [112, 0, 458],
                     [114, 0, 465], [116, 0, 483], [117, 0, 490], [118, 0, 506], [119, 0, 516], [120, 0, 521],
                     [121, 0, 530], [122, 0, 537], [123, 0, 545], [124, 0, 562], [125, 0, 578], [126, 0, 609],
                     [127, 0, 649], [127, 0, 1105]],
               169: [[-30, -27, 0], [0, 0, 0], [1, 0, 28], [3, 0, 33], [6, 0, 40], [10, 0, 49], [16, 0, 56],
                     [23, 0, 64], [29, 0, 72], [39, 0, 80], [48, 0, 89], [57, 0, 95], [65, 0, 103], [75, 0, 111],
                     [86, 0, 120], [96, 0, 127], [107, 0, 136], [114, 0, 143], [120, 0, 151], [123, 0, 159],
                     [125, 0, 167], [128, 0, 175], [130, 0, 193], [131, 0, 200], [132, 0, 217], [134, 0, 225],
                     [136, 0, 248], [137, 0, 257], [139, 0, 272], [140, 0, 287], [142, 0, 311], [143, 0, 320],
                     [145, 0, 327], [147, 0, 335], [149, 0, 343], [150, 0, 351], [152, 0, 359], [154, 0, 367],
                     [156, 0, 375], [158, 0, 391], [159, 0, 407], [160, 0, 415], [161, 0, 423], [162, 0, 430],
                     [163, 0, 599], [164, 0, 607], [165, 0, 623], [166, 0, 639], [167, 0, 646], [168, 0, 665],
                     [169, 0, 729], [169, 0, 1078]],
               132: [[-28, -31, 0], [0, 0, 0], [0, -1, 101], [1, -1, 107], [2, -1, 115], [4, -1, 122], [4, 0, 128],
                     [6, 0, 137], [8, 1, 144], [11, 2, 152], [13, 3, 160], [15, 4, 168], [18, 7, 176], [19, 7, 184],
                     [21, 7, 192], [23, 9, 200], [25, 9, 208], [29, 10, 216], [32, 11, 224], [34, 11, 233],
                     [38, 12, 240], [41, 12, 249], [44, 12, 256], [48, 13, 265], [51, 13, 272], [55, 13, 281],
                     [57, 13, 288], [61, 13, 297], [64, 13, 305], [66, 13, 313], [67, 13, 321], [69, 13, 328],
                     [71, 13, 337], [73, 13, 344], [74, 13, 359], [75, 13, 370], [76, 13, 375], [77, 13, 384],
                     [78, 13, 392], [79, 13, 399], [80, 13, 408], [81, 14, 415], [82, 14, 432], [83, 14, 440],
                     [84, 14, 448], [86, 15, 457], [88, 15, 472], [90, 15, 480], [91, 15, 489], [93, 15, 505],
                     [95, 15, 512], [96, 15, 520], [98, 15, 528], [100, 16, 537], [102, 16, 544], [103, 16, 560],
                     [106, 17, 568], [107, 17, 584], [109, 17, 592], [111, 17, 616], [112, 17, 632], [114, 18, 656],
                     [115, 18, 697], [117, 18, 720], [118, 18, 744], [119, 18, 768], [120, 19, 777], [121, 19, 809],
                     [122, 19, 833], [123, 19, 872], [124, 21, 888], [125, 21, 920], [126, 21, 938], [127, 21, 943],
                     [128, 21, 990], [129, 21, 1013], [130, 21, 1076], [131, 21, 1099], [132, 21, 1113],
                     [132, 21, 1607]],
               122: [[-28, -39, 0], [0, 0, 0], [1, 0, 67], [4, 0, 75], [7, 1, 83], [10, 1, 92], [14, 1, 100],
                     [17, 1, 107], [21, 1, 115], [26, 1, 123], [30, 1, 131], [37, 1, 141], [44, 1, 147], [50, 1, 157],
                     [58, 1, 164], [65, 1, 173], [73, 1, 179], [81, 1, 188], [88, 1, 195], [96, 1, 204], [103, 1, 211],
                     [107, 1, 221], [110, 1, 227], [112, 1, 236], [114, 1, 245], [116, 1, 253], [117, 1, 261],
                     [118, 1, 283], [119, 1, 308], [120, 1, 327], [121, 1, 352], [126, 1, 409], [127, 1, 414],
                     [128, 1, 420], [129, 1, 427], [131, 1, 436], [132, 1, 453], [131, 1, 778], [129, 2, 793],
                     [128, 2, 809], [127, 3, 838], [126, 3, 862], [125, 3, 902], [124, 3, 950], [123, 3, 966],
                     [122, 3, 982], [122, 3, 1354]],
               113: [[-34, -33, 0], [0, 0, 0], [3, 0, 24], [6, 1, 32], [7, 1, 39], [11, 1, 50], [16, 3, 52],
                     [19, 3, 67], [22, 3, 76], [25, 3, 83], [27, 3, 91], [30, 3, 99], [33, 3, 107], [37, 4, 115],
                     [41, 4, 124], [46, 5, 132], [51, 7, 139], [54, 8, 147], [60, 8, 155], [67, 9, 163], [72, 9, 171],
                     [79, 10, 179], [87, 10, 187], [93, 10, 195], [97, 10, 203], [101, 10, 212], [103, 10, 219],
                     [104, 10, 228], [107, 11, 236], [109, 12, 251], [110, 12, 267], [111, 12, 278], [112, 12, 283],
                     [113, 12, 291], [114, 12, 300], [116, 13, 307], [117, 13, 324], [118, 13, 340], [119, 13, 347],
                     [120, 13, 363], [119, 13, 682], [118, 13, 690], [117, 13, 698], [116, 13, 706], [115, 13, 714],
                     [114, 13, 737], [113, 13, 770], [113, 13, 1114]],
               157: [[-28, -36, 0], [0, 0, 0], [1, 0, 24], [2, 1, 31], [3, 1, 41], [4, 2, 48], [7, 2, 57], [10, 3, 64],
                     [14, 3, 72], [19, 4, 78], [24, 4, 86], [32, 4, 94], [38, 4, 102], [44, 4, 109], [53, 5, 117],
                     [59, 5, 125], [66, 5, 133], [73, 5, 141], [80, 6, 149], [84, 6, 157], [89, 6, 166], [94, 6, 175],
                     [97, 6, 183], [99, 8, 191], [101, 8, 198], [104, 8, 207], [105, 8, 214], [108, 8, 223],
                     [110, 8, 230], [111, 9, 239], [112, 9, 247], [114, 10, 255], [115, 10, 262], [117, 10, 278],
                     [119, 11, 286], [121, 12, 302], [122, 12, 310], [124, 12, 318], [126, 13, 326], [127, 13, 334],
                     [128, 13, 342], [130, 15, 350], [131, 15, 359], [132, 15, 366], [134, 16, 375], [135, 16, 382],
                     [138, 17, 392], [139, 17, 399], [142, 18, 406], [143, 19, 415], [145, 19, 423], [146, 19, 430],
                     [147, 19, 438], [148, 19, 446], [149, 19, 462], [149, 20, 479], [151, 20, 559], [152, 21, 598],
                     [153, 22, 738], [154, 22, 768], [155, 22, 783], [156, 22, 821], [157, 23, 837], [157, 23, 1222]],
               141: [[-40, -27, 0], [0, 0, 0], [1, 0, 79], [4, 0, 87], [7, 0, 95], [11, 0, 102], [16, 0, 108],
                     [23, 2, 115], [30, 3, 123], [37, 3, 131], [45, 3, 139], [53, 3, 147], [60, 3, 155], [67, 4, 163],
                     [75, 5, 171], [82, 5, 179], [87, 5, 187], [91, 5, 196], [95, 5, 204], [98, 5, 212], [102, 5, 221],
                     [104, 5, 227], [107, 5, 237], [108, 5, 252], [110, 6, 260], [111, 6, 276], [112, 6, 283],
                     [113, 6, 292], [114, 6, 307], [116, 7, 315], [119, 7, 323], [120, 7, 332], [122, 7, 340],
                     [124, 7, 348], [126, 7, 355], [128, 8, 363], [130, 8, 371], [132, 9, 387], [133, 9, 404],
                     [134, 9, 479], [135, 9, 494], [136, 9, 508], [137, 9, 547], [138, 9, 571], [139, 9, 598],
                     [140, 9, 622], [141, 9, 647], [141, 9, 971]],
               85: [[-37, -42, 0], [0, 0, 0], [1, 0, 39], [3, 0, 47], [5, 0, 55], [8, 0, 64], [11, 0, 71], [13, 0, 80],
                    [17, 0, 87], [20, 0, 95], [24, 0, 103], [27, 0, 112], [30, 0, 119], [33, 1, 127], [36, 1, 135],
                    [40, 3, 144], [43, 3, 151], [46, 3, 159], [49, 4, 168], [53, 4, 175], [55, 4, 184], [58, 4, 191],
                    [59, 5, 199], [63, 7, 207], [64, 7, 215], [65, 7, 223], [67, 7, 231], [68, 7, 239], [69, 7, 247],
                    [70, 7, 255], [71, 7, 263], [72, 7, 279], [73, 7, 287], [74, 7, 296], [74, 8, 303], [75, 8, 319],
                    [76, 8, 327], [77, 8, 335], [78, 8, 343], [79, 8, 367], [80, 8, 391], [81, 8, 416], [82, 8, 432],
                    [83, 8, 961], [84, 8, 994], [84, 9, 1017], [85, 10, 1025], [85, 10, 1319]],
               167: [[-31, -25, 0], [0, 0, 0], [0, -1, 51], [2, -1, 64], [4, -1, 77], [12, -1, 83], [19, -1, 89],
                     [26, -1, 97], [34, -1, 105], [45, -1, 111], [55, -1, 119], [65, -1, 127], [73, -1, 135],
                     [83, -1, 144], [94, -1, 151], [105, -1, 161], [113, -1, 167], [122, -1, 176], [127, -1, 183],
                     [133, -1, 192], [137, -1, 199], [140, -1, 207], [143, -1, 215], [144, -1, 223], [145, 0, 240],
                     [146, 0, 271], [147, 0, 295], [148, 0, 376], [150, 0, 389], [151, 0, 398], [152, 0, 404],
                     [153, 0, 411], [154, 0, 428], [155, 0, 444], [156, 1, 459], [158, 1, 488], [159, 1, 496],
                     [160, 1, 519], [161, 1, 543], [162, 1, 704], [163, 1, 736], [163, 2, 760], [164, 2, 800],
                     [165, 2, 1400], [166, 2, 1431], [167, 2, 1497], [167, 2, 1831]],
               143: [[-15, -24, 0], [0, 0, 0], [1, 0, 29], [2, 0, 46], [3, 0, 59], [5, 1, 67], [7, 2, 75], [8, 2, 83],
                     [10, 2, 95], [13, 3, 99], [15, 3, 108], [18, 3, 114], [21, 5, 123], [25, 5, 131], [29, 5, 140],
                     [35, 6, 146], [39, 6, 155], [45, 7, 162], [49, 7, 171], [56, 9, 178], [61, 9, 186], [66, 9, 194],
                     [71, 9, 202], [75, 9, 211], [79, 9, 218], [84, 10, 228], [88, 10, 234], [91, 10, 242],
                     [95, 10, 251], [99, 11, 258], [101, 11, 266], [103, 11, 275], [105, 11, 282], [107, 11, 291],
                     [109, 11, 298], [110, 11, 306], [113, 11, 314], [114, 11, 323], [116, 12, 330], [117, 12, 338],
                     [119, 12, 346], [120, 12, 354], [123, 13, 362], [124, 13, 370], [126, 13, 378], [128, 14, 386],
                     [130, 14, 394], [132, 14, 402], [134, 14, 410], [136, 14, 418], [137, 14, 429], [139, 14, 434],
                     [140, 15, 442], [141, 15, 1038], [142, 15, 1048], [143, 15, 1158], [143, 15, 1370]],
               165: [[-41, -25, 0], [0, 0, 0], [2, 1, 71], [3, 1, 80], [6, 1, 87], [9, 1, 96], [12, 1, 103],
                     [17, 1, 113], [21, 1, 119], [25, 1, 129], [32, 1, 136], [40, 1, 145], [46, 1, 151], [54, 1, 160],
                     [60, 1, 167], [65, 1, 175], [69, 1, 184], [76, 1, 191], [80, 1, 199], [82, 1, 207], [86, 1, 215],
                     [89, 1, 223], [92, 1, 231], [93, 1, 240], [95, 1, 247], [97, 1, 255], [99, 1, 264], [100, 1, 272],
                     [101, 1, 280], [103, 1, 288], [105, 1, 303], [106, 1, 313], [109, 1, 320], [112, 1, 327],
                     [114, 1, 335], [117, 1, 344], [120, 1, 351], [121, 1, 359], [122, 1, 367], [124, 1, 376],
                     [126, 1, 383], [127, 1, 399], [129, 1, 407], [130, 1, 416], [132, 1, 440], [133, 1, 456],
                     [135, 1, 464], [136, 1, 480], [139, 1, 487], [141, 1, 496], [143, 1, 504], [145, 1, 513],
                     [146, 1, 520], [149, 1, 528], [151, 2, 535], [154, 2, 543], [157, 2, 551], [159, 4, 577],
                     [161, 4, 581], [163, 4, 583], [164, 4, 755], [165, 4, 779], [165, 4, 1230]],
               156: [[-31, -40, 0], [0, 0, 0], [0, 0, 12], [2, 0, 66], [5, 0, 74], [7, 0, 82], [12, 2, 90], [15, 2, 98],
                     [18, 2, 106], [23, 3, 114], [26, 3, 122], [31, 3, 130], [36, 3, 138], [41, 4, 146], [46, 4, 154],
                     [52, 5, 162], [54, 5, 171], [60, 7, 178], [64, 7, 187], [68, 7, 194], [70, 7, 204], [74, 7, 210],
                     [77, 7, 218], [81, 7, 226], [85, 7, 234], [88, 7, 243], [92, 7, 250], [95, 7, 258], [97, 7, 267],
                     [100, 7, 274], [102, 7, 282], [104, 7, 290], [106, 7, 298], [108, 7, 306], [110, 7, 314],
                     [111, 7, 323], [113, 7, 330], [114, 7, 338], [117, 7, 347], [118, 7, 354], [121, 7, 362],
                     [124, 7, 371], [126, 7, 378], [129, 7, 387], [132, 7, 394], [135, 7, 404], [138, 7, 410],
                     [139, 7, 419], [142, 7, 426], [143, 7, 434], [147, 8, 442], [149, 8, 451], [150, 8, 458],
                     [151, 9, 467], [152, 9, 474], [154, 9, 482], [156, 9, 490], [157, 9, 499], [159, 9, 506],
                     [161, 9, 515], [163, 9, 522], [164, 9, 531], [166, 9, 538], [167, 9, 547], [169, 9, 554],
                     [170, 9, 570], [172, 9, 587], [173, 10, 594], [171, 10, 885], [170, 10, 894], [169, 10, 909],
                     [168, 10, 915], [167, 10, 922], [166, 11, 939], [165, 11, 962], [164, 11, 970], [163, 11, 995],
                     [162, 11, 1010], [161, 11, 1026], [159, 11, 1034], [158, 11, 1042], [157, 12, 1058],
                     [156, 12, 1082], [156, 12, 1721]],
               103: [[-42, -35, 0], [0, 0, 0], [0, -1, 40], [1, -1, 48], [4, -1, 61], [8, 0, 69], [12, 0, 77],
                     [16, 0, 86], [22, 2, 90], [26, 2, 97], [31, 2, 104], [38, 3, 112], [44, 3, 120], [49, 3, 129],
                     [54, 3, 137], [61, 3, 143], [66, 3, 152], [70, 3, 159], [74, 3, 167], [78, 3, 174], [82, 3, 183],
                     [85, 3, 190], [89, 3, 199], [91, 3, 207], [93, 3, 216], [95, 3, 223], [97, 3, 231], [98, 3, 247],
                     [99, 3, 255], [100, 3, 263], [101, 3, 288], [102, 3, 303], [103, 3, 336], [103, 3, 782]],
               126: [[-42, -42, 0], [0, 0, 0], [0, 1, 7], [1, 2, 22], [2, 2, 38], [3, 2, 46], [4, 2, 54], [7, 2, 62],
                     [10, 2, 70], [13, 2, 78], [17, 2, 86], [21, 2, 94], [26, 2, 102], [32, 2, 110], [39, 1, 119],
                     [43, 1, 125], [48, 1, 134], [52, 1, 141], [58, 1, 151], [62, 1, 157], [66, 1, 167], [70, 1, 173],
                     [73, 1, 184], [77, 1, 189], [82, 1, 197], [85, 1, 206], [86, 1, 213], [90, 1, 221], [91, 2, 230],
                     [93, 2, 237], [95, 2, 245], [96, 2, 261], [98, 2, 277], [99, 2, 293], [102, 2, 310], [103, 2, 325],
                     [105, 2, 333], [107, 2, 351], [108, 2, 357], [110, 2, 374], [111, 2, 381], [112, 2, 389],
                     [114, 2, 397], [115, 2, 405], [116, 2, 413], [117, 2, 421], [118, 2, 429], [119, 2, 605],
                     [120, 2, 613], [121, 2, 637], [122, 2, 654], [123, 2, 778], [124, 2, 801], [125, 2, 816],
                     [126, 2, 822], [126, 2, 1300]],
               100: [[-30, -49, 0], [0, 0, 0], [1, 1, 47], [6, 1, 60], [14, 0, 67], [18, 0, 79], [21, 0, 84],
                     [23, 0, 88], [27, 0, 93], [31, 0, 101], [35, 0, 109], [38, 0, 117], [42, 0, 126], [45, 0, 133],
                     [48, 0, 141], [50, 0, 149], [53, 0, 159], [56, 0, 165], [57, 0, 181], [59, 0, 189], [60, 0, 197],
                     [62, 0, 205], [63, 0, 213], [64, 0, 221], [65, 0, 229], [65, 0, 238], [66, 0, 270], [67, 0, 277],
                     [68, 0, 286], [70, 0, 293], [71, 0, 302], [72, 0, 318], [73, 0, 466], [74, 0, 482], [75, 0, 490],
                     [76, 0, 497], [77, 0, 506], [78, 0, 510], [80, 0, 517], [81, 0, 526], [83, 0, 533], [84, 0, 542],
                     [85, 0, 550], [86, 0, 559], [87, 0, 565], [89, 0, 573], [90, 0, 581], [91, 0, 590], [92, 0, 606],
                     [94, 1, 614], [96, 2, 645], [97, 2, 699], [98, 2, 739], [99, 2, 763], [100, 2, 770],
                     [100, 2, 1101]],
               70: [[-34, -28, 0], [0, 0, 0], [3, 0, 88], [6, 0, 96], [9, 0, 104], [11, 0, 112], [14, 0, 120],
                    [17, 0, 128], [20, 0, 136], [22, 0, 144], [25, -1, 152], [30, -1, 160], [33, -1, 168],
                    [36, -1, 177], [38, -1, 184], [40, -1, 193], [43, -1, 220], [45, -1, 223], [47, -1, 229],
                    [48, -1, 242], [52, -1, 267], [53, -1, 273], [55, -1, 473], [62, -1, 476], [63, -1, 505],
                    [65, -1, 529], [65, -1, 544], [67, -1, 568], [68, -1, 608], [69, -1, 657], [70, -1, 680],
                    [70, -1, 1751]],
               135: [[-39, -40, 0], [0, 0, 0], [3, 1, 48], [6, 1, 55], [10, 3, 65], [14, 4, 71], [21, 4, 80],
                     [27, 5, 88], [35, 5, 95], [41, 5, 101], [52, 5, 110], [63, 5, 117], [71, 5, 125], [82, 5, 133],
                     [90, 5, 142], [96, 5, 149], [104, 5, 158], [110, 5, 166], [115, 5, 174], [119, 5, 186],
                     [123, 5, 189], [126, 5, 197], [128, 5, 205], [130, 5, 214], [131, 5, 221], [132, 5, 230],
                     [134, 5, 237], [134, 6, 246], [135, 6, 253], [135, 6, 645]],
               57: [[-34, -15, 0], [0, 0, 0], [0, -1, 53], [1, -1, 61], [2, -1, 70], [4, -1, 74], [7, -1, 82],
                    [9, -1, 90], [12, -1, 98], [15, -1, 106], [19, -1, 116], [20, -1, 122], [24, -1, 130],
                    [27, -1, 138], [30, -1, 147], [31, -1, 154], [34, -1, 162], [38, 0, 170], [39, 0, 178],
                    [42, 1, 186], [45, 2, 193], [46, 2, 209], [49, 4, 217], [51, 4, 233], [52, 5, 241], [54, 5, 257],
                    [56, 6, 264], [59, 7, 281], [61, 7, 297], [62, 8, 304], [63, 8, 320], [65, 9, 329], [65, 9, 360],
                    [66, 9, 457], [65, 9, 692], [65, 9, 700], [64, 9, 732], [63, 9, 739], [62, 9, 756], [61, 9, 779],
                    [60, 9, 795], [59, 9, 827], [58, 9, 908], [57, 9, 923], [57, 9, 1264]],
               161: [[-49, -18, 0], [0, 0, 0], [0, -1, 25], [1, -1, 29], [3, -1, 37], [6, -1, 44], [9, -1, 52],
                     [14, -1, 58], [18, -1, 65], [24, -1, 74], [33, -1, 81], [40, -1, 90], [50, -1, 97], [60, -1, 107],
                     [69, -1, 114], [78, -1, 122], [89, -1, 131], [97, -1, 138], [105, -1, 146], [111, -1, 154],
                     [114, 0, 162], [118, 1, 170], [121, 2, 178], [123, 3, 186], [124, 5, 194], [126, 5, 202],
                     [128, 7, 211], [129, 8, 217], [131, 9, 225], [133, 11, 233], [133, 12, 242], [134, 12, 249],
                     [136, 13, 257], [137, 14, 266], [139, 15, 282], [141, 16, 309], [142, 17, 341], [143, 18, 359],
                     [145, 18, 398], [145, 19, 405], [146, 19, 419], [148, 19, 443], [149, 20, 460], [150, 20, 547],
                     [151, 20, 563], [151, 21, 570], [153, 21, 586], [154, 22, 594], [155, 23, 611], [156, 24, 863],
                     [157, 24, 929], [158, 24, 935], [159, 24, 1391], [160, 24, 1406], [161, 24, 1463],
                     [161, 24, 1785]],
               159: [[-55, -33, 0], [0, 0, 0], [2, 0, 74], [6, 0, 82], [10, 0, 89], [14, 0, 97], [19, 0, 105],
                     [23, 0, 113], [29, 0, 121], [35, 0, 130], [39, 0, 138], [46, 0, 146], [50, 0, 153], [57, 0, 161],
                     [61, 0, 168], [67, 0, 176], [73, 0, 184], [80, 2, 193], [84, 2, 201], [89, 3, 208], [94, 3, 216],
                     [100, 3, 224], [103, 4, 234], [106, 4, 239], [108, 4, 247], [110, 4, 255], [112, 5, 264],
                     [113, 6, 271], [114, 6, 288], [115, 6, 296], [117, 6, 312], [118, 6, 319], [119, 6, 336],
                     [121, 6, 343], [121, 7, 351], [123, 7, 360], [126, 7, 367], [128, 8, 375], [131, 8, 383],
                     [133, 8, 392], [136, 8, 399], [138, 9, 407], [140, 9, 416], [142, 9, 423], [143, 9, 432],
                     [146, 10, 440], [147, 10, 449], [148, 10, 464], [149, 10, 471], [149, 11, 497], [150, 12, 549],
                     [151, 12, 561], [152, 12, 577], [153, 12, 593], [154, 12, 601], [155, 12, 609], [156, 12, 618],
                     [157, 12, 624], [158, 13, 633], [159, 13, 649], [160, 13, 657], [161, 13, 665], [162, 13, 705],
                     [161, 13, 1083], [160, 13, 1116], [159, 13, 1200], [159, 13, 1759]],
               47: [[-31, -36, 0], [0, 0, 0], [2, 0, 21], [3, 0, 25], [5, 0, 29], [8, 0, 37], [10, 0, 43], [14, 0, 50],
                    [18, 0, 57], [24, 0, 65], [29, 0, 73], [35, 0, 81], [40, 0, 89], [45, 0, 97], [52, 0, 105],
                    [58, 0, 114], [62, 0, 121], [66, 0, 130], [69, 0, 137], [70, 0, 145], [72, 0, 154], [73, 0, 161],
                    [74, 0, 170], [75, 0, 178], [76, 0, 401], [75, 0, 441], [74, 0, 449], [73, 0, 457], [72, 0, 465],
                    [70, 0, 473], [68, 0, 497], [67, 0, 513], [66, 0, 522], [65, 0, 538], [64, 0, 554], [62, 0, 562],
                    [61, 0, 578], [59, 0, 585], [57, 0, 601], [56, 0, 609], [55, 0, 617], [54, 0, 634], [53, 0, 641],
                    [52, 0, 657], [50, 0, 665], [49, 0, 682], [48, 0, 698], [47, 0, 705], [47, 0, 1257]],
               43: [[-40, -18, 0], [0, 0, 0], [0, -1, 56], [1, -1, 73], [2, -1, 96], [4, -1, 114], [5, -1, 120],
                    [8, -2, 136], [9, -2, 144], [10, -2, 153], [12, -2, 161], [14, -2, 169], [17, -2, 176],
                    [18, -2, 184], [19, -2, 193], [21, -2, 201], [22, -2, 209], [24, -2, 217], [25, -2, 225],
                    [27, -2, 232], [28, -2, 241], [30, -2, 256], [31, -2, 272], [33, -2, 282], [34, -2, 305],
                    [36, -2, 329], [37, -2, 352], [39, -2, 384], [40, -2, 416], [41, -2, 440], [42, -2, 456],
                    [43, -2, 473], [43, -2, 872]]}


def get_generate_tracks(distance):
    """
    根据轨迹离散分布生成的数学 生成  # 参考文档  https://www.jianshu.com/p/3f968958af5a
    成功率很高 90% 往上
    :param distance: 缺口位置
    :param seconds:  时间
    :param ease_func: 生成函数
    :return: 轨迹数组
    """
    distance += 20
    tracks = [0]
    offsets = [0]
    seconds = random.randint(2,4)
    for t in np.arange(0.0, seconds, 0.1):
        offset = round((1 - pow(1 - (t / seconds), 4)) * distance)
        tracks.append(offset - offsets[-1])
        offsets.append(offset)
    tracks.extend([-3, -2, -3, -2, -2, -2, -2, -1, -0, -1, -1, -1])
    return tracks
